more efficient cleanup
This commit is contained in:
parent
f1febf6e73
commit
e64ed6a753
|
@ -500,8 +500,7 @@ print(meta.fecha)
|
|||
|
||||
-- clean up
|
||||
print("limpiando archivos previos...")
|
||||
os.execute(string.format("find %s -iname *.html -exec rm {} \\;", webdir))
|
||||
os.execute(string.format("find %s -iname *.gmi -exec rm {} \\;", gemdir))
|
||||
os.execute(string.format('find %s %s -regex ".+.\\(gmi\\|html\\)$" -exec rm {} +',webdir,gemdir))
|
||||
|
||||
-- copy images
|
||||
print("copiando imágenes y otros archivos...")
|
||||
|
|
Loading…
Reference in New Issue