grm

commit b176903806c5312c35f98a805f4f16b88de3a224
parent 7aa6544ab14461f30102351ae00f5dfbc9f86c40
Author: krasjet <nil@krj.st>
Date:   Sun, 12 Jul 2020 06:41:37 -0700

fix indent

Diffstat:
M
grm
 | 
6
+++---

1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/grm b/grm
@@ -39,10 +39,10 @@ recompile_repo() {
 
   [ -d "$repo_dir" ] || { echo "[$1] repo not found"; return 1; }
   mkdir -p "$repo_web_dir"
-  cd "$repo_web_dir" || return 1;
+  cd "${repo_web_dir:?}" || return 1;
 
-	rm -f "$cachefile"
-	rm -rf "commit"
+  rm -f "$cachefile"
+  rm -rf "commit"
 
   stagit -c "$cachefile" "$repo_dir"
   ln -sf log.html index.html