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