:wrench: make make update great again

diff --git a/scripts/update.sh b/scripts/update.sh
index be1fd460b50e87eb19c4b38d4af6cfb426dec480..fa0b7eabac522d1d06503fef991fce04a087f53b 100644 (file)
--- a/scripts/update.sh
+++ b/scripts/update.sh
@@ -1,13 +1,27 @@
 #!/bin/bash
-git pull
-git submodule update
-make clean-all
-make -j
-make -C plug clean
-make -C plug
 
-# sudo make install
+update() {
+  git pull
+  git submodule update
+  make clean-all
+  make -j
+  make -C plug clean
+  make -C plug
+  make -C plug local-install
+}
 
-for a in $(cat plug/list.txt)
-do cp plug/$a/*.so ~/gwplug
+reset() {
+  pushd "$1"
+  git reset --hard
+  popd
+}
+
+echo "this will erase all your changes in the gwion codebase."
+echo "type 'Enter' to proceed, anything + 'Enter' to abort"
+read a
+[ -z "$a" ] || exit 1
+
+for a in . ast fmt libcmdapp plug util
+do reset "$a"
 done
+update