allow resuming site deploy

uiua-lang · Dec 22, 2023 · 371b5e3 · 371b5e3
1 parent 74b5e15
commit 371b5e3
Showing 1 changed file with 7 additions and 4 deletions.
diff --git a/site/deploy.ua b/site/deploy.ua
@@ -1,9 +1,12 @@
 ✅ ← ⍤⊃⋅∘≍0
 
-&cd "site"
-✅&runi {"git" "checkout" "site" "-f"}
-✅&runi {"git" "reset" "--hard" "origin/site"}
-✅&runi {"git" "rebase" "main"}
+¬∊ □"resume" &args
+⍥(
+ &cd "site"
+ ✅&runi {"git" "checkout" "site" "-f"}
+ ✅&runi {"git" "reset" "--hard" "origin/site"}
+ ✅&runi {"git" "rebase" "main"}
+)
 ✅&runi {"trunk" "build" "--release"}
 ✅&runi {"git" "add" "--all"}
 ✅&runi {"git" "commit" "--amend" "--no-edit"}