mirror of
https://github.com/arduino/Arduino.git
synced 2024-11-29 10:24:12 +01:00
21 lines
1002 B
Bash
Executable File
21 lines
1002 B
Bash
Executable File
#!/bin/sh
|
|
|
|
# fetch.sh
|
|
# David A. Mellis
|
|
# Script to download reference pages from Arduino website and change links
|
|
# to point to local copies of the pages. A terrible hack.
|
|
|
|
mkdir reference
|
|
cd reference
|
|
curl http://www.arduino.cc/en/Main/Howto -o howto.html
|
|
curl http://www.arduino.cc/en/Reference/HomePage -o index.html
|
|
curl http://www.arduino.cc/en/pub/skins/arduino/arduino.css -o arduino.css
|
|
for i in `grep -o "http://www.arduino.cc/en/Reference/[^']*" index.html | sort -u | grep -v '?' | cut -d '/' -f 6`; do curl http://www.arduino.cc/en/Reference/$i -o $i.html; done
|
|
perl -i -pe "s|http://www.arduino.cc/en/Reference/[^?\"']*\?[^'\"]*|#|g" *.html
|
|
perl -i -pe "s|http://www.arduino.cc/en/Reference/([^']*)|\1.html|g" *.html
|
|
perl -i -pe "s|http://www.arduino.cc/en/pub/skins/arduino/arduino.css|arduino.css|g" *.html
|
|
perl -i -pe "s|HomePage.html|index.html|g" *.html
|
|
perl -i -pe "s|href=\"/\"|href=\"http://www.arduino.cc/\"|g" *.html
|
|
cd ..
|
|
zip -r shared/reference.zip reference
|
|
rm -rf reference |