rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-18 07:52:14 +01:00
Code Issues Releases Activity

Now grabbing howto with fetch.sh.

Browse Source
This commit is contained in:
David A. Mellis 2006-02-12 16:02:52 +00:00
parent ddb6120299
commit 510559f233
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
build/fetch.sh
View File

@ -1,3 +1,4 @@
curl http://arduino.berlios.de/index.php/Main/Howto -o howto.html
curl http://arduino.berlios.de/index.php/Reference/HomePage -o index.html 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 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 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