From: fennecdjay <fennecdjay@gmail.com>
Date: Wed, 29 Jun 2022 18:20:46 +0000 (+0200)
Subject: :wrench: make make update great again
X-Git-Tag: nightly~264^2~124
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=ef7c1627a2a1f2d88b51cd5aee529f06ebf45451;p=gwion.git

:wrench: make make update great again
---

diff --git a/scripts/update.sh b/scripts/update.sh
index be1fd460..fa0b7eab 100644
--- 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