8 lines
198 B
Bash
Executable file
8 lines
198 B
Bash
Executable file
#!/bin/sh
|
|
|
|
PID="3"
|
|
dname="Project_${PID}_Maggioni_Claudio"
|
|
zname="project_${PID}_Maggioni_Claudio"
|
|
|
|
rm -v $zname.zip
|
|
zip $zname.zip *.tex ex3_*.pdf *.sty usi_inf.pdf $zname.{pdf,tex} $dname/src/*.m
|