| 8,7 → 8,7 |
|---|
| getcvs() { |
| |
| echo -ne $"\nGet cvs " |
| $ret cvs -d :pserver:anonymous@feanor.sssup.it:/home/cvs/cvsroot checkout -P $1 |
| $ret cvs -d :pserver:anonymous@feanor.sssup.it:/home/cvs/cvsroot export -r HEAD $1 |
| return $ret |
| |
| |
| 17,10 → 17,10 |
|---|
| |
| sharkpass="" |
| demospass="" |
| echo -n $"Give date of distrib " |
| echo -n $"Give date or revision of distrib " |
| read date |
| echo -ne "\nsource-$date" |
| path="source-$date" |
| path="source$date" |
| mkdir $path |
| cd $path |
| |
| 30,24 → 30,26 |
|---|
| mkdir tbz2 |
| mkdir tgz |
| mkdir zip |
| mkdir dosshark |
| #mkdir dosshark |
| |
| filenameshark="shark-$date" |
| filenamedemos="demos-$date" |
| filenameshark="shark$date" |
| #filenamedemos="demos-$date" |
| |
| #create the shark zip archive |
| mv demos ./shark |
| zip -r "./zip/$filenameshark.zip" shark |
| zip -r "./zip/$filenamedemos.zip" demos |
| filenameshark="$filenameshark.tar" |
| #zip -r "./zip/$filenamedemos.zip" demos |
| #cpopy the shark zip archive in dosshark |
| cp "./zip/$filenameshark.zip" ./dosshark/ |
| cp "./zip/$filenamedemos.zip" ./dosshark/ |
| #cp "./zip/$filenameshark.zip" ./dosshark/ |
| #cp "./zip/$filenamedemos.zip" ./dosshark/ |
| #get the other shark component for dos |
| wget http://shark.sssup.it/distrib/sharkuti.zip -O ./dosshark/sharkuti.zip |
| wget http://shark.sssup.it/utils/unzip.exe -O ./dosshark/unzip.exe |
| cp ./shark/distrib/dos/myfilter.c ./dosshark/ |
| cp ./shark/distrib/dos install.bat ./dosshark/ |
| #wget http://shark.sssup.it/distrib/sharkuti.zip -O ./dosshark/sharkuti.zip |
| #wget http://shark.sssup.it/utils/unzip.exe -O ./dosshark/unzip.exe |
| #cp ./shark/distrib/dos/myfilter.c ./dosshark/ |
| #cp ./shark/distrib/dos/install.bat ./dosshark/ |
| #create the dosshark file |
| zip -r "./dosshark/dosshark.zip" dosshark |
| #zip -r "./dosshark/dosshark.zip" dosshark |
| |
| #create the tbz2 format |
| tar -cf ./tgz/$filenameshark shark |
| 54,13 → 56,13 |
|---|
| cp ./tgz/$filenameshark ./tbz2/$filenameshark |
| #create the tgz format |
| gzip -S .tgz ./tgz/$filenameshark |
| tar -cf ./tgz/$filenamedemos demos |
| #tar -cf ./tgz/$filenamedemos demos |
| |
| #create the tbz2 format |
| cp ./tgz/$filenamedemos ./tbz2/$filenamedemos |
| gzip -S .tgz ./tgz/$filenamedemos |
| #cp ./tgz/$filenamedemos ./tbz2/$filenamedemos |
| #gzip -S .tgz ./tgz/$filenamedemos |
| bzip2 ./tbz2/$filenameshark |
| bzip2 ./tbz2/$filenamedemos |
| #bzip2 ./tbz2/$filenamedemos |
| |
| |
| exit 0 |