mp2: updated naming convention
This commit is contained in:
parent
d1187b6437
commit
339c7910dd
18 changed files with 2 additions and 2 deletions
|
@ -1,8 +1,8 @@
|
||||||
#!/bin/sh
|
#!/bin/sh
|
||||||
|
|
||||||
PID="2"
|
PID="2"
|
||||||
dname="Project.$PID.Maggioni.Claudio"
|
dname="Project_${PID}_Maggioni_Claudio"
|
||||||
zname="project.$PID.Maggioni.Claudio"
|
zname="project_${PID}_Maggioni_Claudio"
|
||||||
|
|
||||||
rm -v $zname.zip
|
rm -v $zname.zip
|
||||||
zip $zname.zip ex*.tex $zname.{pdf,tex} $dname/ex?.m $dname/example.m $dname/degcentrality.m \
|
zip $zname.zip ex*.tex $zname.{pdf,tex} $dname/ex?.m $dname/example.m $dname/degcentrality.m \
|
||||||
|
|
Reference in a new issue