1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
#!/bin/bash
if [ "$1" == "" ] || [ $# -gt 1 ]; then
echo Usage: ./get_sb.sh NAME
exit 1
fi
SB_NAME=$1
echo Retrieving .c and .h files in sandbox/$SB_NAME/
curl -s basilisk.fr/sandbox/$SB_NAME/ > out
echo Scanning for .c files:
cat out | grep "\.c\"" > out2
sed -i 's/">//' out2
var1=$(cat out2 | wc -l)
echo There are $var1 .c files.
echo Scanning for .h files:
cat out | grep "\.h<" > out3
sed -i 's/">.*//' out3
var1=$(cat out3 | wc -l)
echo There are $var1 header files
cat out2 >> out3
sed -i -e 's/<a href=\"//;s/^/basilisk.fr/;s/$/?raw/' out3
mkdir $SB_NAME
printf "Downloading the contents..."
wget -q -P $SB_NAME/ -i out3
printf " ...done!\n"
echo Renaming raw source files
cd $SB_NAME
for f in *?raw; do
mv -- "$f" "${f%?raw}"
done
cd ..
#rm out*
|
