mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-26 20:54:22 +01:00
7 lines
622 B
Bash
7 lines
622 B
Bash
|
curl http://arduino.berlios.de/index.php/Reference/HomePage -o index.html
|
||
|
|
curl http://arduino.berlios.de/pub/skins/arduino/arduino.css -o arduino.css
|
||
|
|
for i in `grep -o "http://arduino.berlios.de/index.php/Reference/[^']*" index.html | sort -u | grep -v '?' | cut -d '/' -f 6`; do curl http://arduino.berlios.de/index.php/Reference/$i -o $i.html; done
|
||
|
|
perl -i -pe "s|http://arduino.berlios.de/index.php/Reference/[^?\"']*\?[^'\"]*|#|g" *.html
|
||
|
|
perl -i -pe "s|http://arduino.berlios.de/index.php/Reference/([^']*)|\1.html|g" *.html
|
||
|
|
perl -i -pe "s|http://arduino.berlios.de/pub/skins/arduino/arduino.css|arduino.css|g" *.html
|