Improve ord-dev recipes (ordinals#1022)

popcnt1 · Dec 20, 2022 · 829ac69 · 829ac69
1 parent 11d6b3b
commit 829ac69
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 7 deletions.
diff --git a/bin/update-dev-server → bin/update-ord-dev b/bin/update-dev-server → bin/update-ord-dev
diff --git a/justfile b/justfile
@@ -58,15 +58,14 @@ open:
 doc:
   cargo doc --all --open
 
-update-dev-server:
-  ./bin/update-dev-server
+update-ord-dev:
+  ./bin/update-ord-dev
 
-start-dev-server-benchmark: && update-dev-server
+rebuild-ord-dev-database: && update-ord-dev
   systemctl stop ord-dev
-  rm /var/lib/ord-dev/index.redb
-  journalctl --rotate
-  journalctl --vacuum-time 1s
-  ./bin/update-dev-server
+  rm -f /var/lib/ord-dev/**/index.redb
+  journalctl --unit ord-dev --rotate
+  journalctl --unit ord-dev --vacuum-time 1s
 
 # publish current GitHub master branch
 publish: