This commit is contained in:
Phuntsok Drak-pa 2019-10-23 19:14:03 +02:00 committed by GitHub
parent b12a3379cc
commit 4da1603bf5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4,6 +4,7 @@ set deldname "auto" "_minted*" "svg-inkscape"
for f in $delfname for f in $delfname
find -type f -name $f -delete find -type f -name $f -delete
end end
for d in $deldname for d in $deldname
find -type d -name $d -exec rm -r {} + find -type d -name $d -exec rm -r {} +
end end