Skip to content

Instantly share code, notes, and snippets.

@mapio

mapio/install.sh

Created March 21, 2019 15:06
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mapio/900bfcc2ba98c1dfa924d51817628fea to your computer and use it in GitHub Desktop.
Save mapio/900bfcc2ba98c1dfa924d51817628fea to your computer and use it in GitHub Desktop.
Download ZIP
Installazione di Prog1.zip
Raw
install.sh
rm -f Prog1.zip
curl -O http://marra.di.unimi.it/prog1/lab/docs/lib/Prog1.zip
unzip Prog1.zip Prog1/IO.h Prog1/Stringhe.h
mv Prog1/IO.h Prog1/Stringhe.h .
rmdir Prog1
rm -f Prog1.zip
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment