commit e5e24c034e6827b0985b4dd52655b0ec7336845b parent 45f77e73eff4bc121533a509a91085e4857ed720 Author: krasjet <nil@krj.st> Date: Wed, 15 Jul 2020 02:43:46 -0700 purge files as well Diffstat:
| M | grm | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/grm b/grm @@ -42,7 +42,7 @@ recompile_repo() { cd "${repo_web_dir:?}" && \ rm -f "$cachefile" && \ - rm -rf "commit" && \ + rm -rf "commit" "file" && \ stagit -c "$cachefile" "$repo_dir" && \ ln -sf log.html index.html && \ echo "[$1] done!"