From ef7c1627a2a1f2d88b51cd5aee529f06ebf45451 Mon Sep 17 00:00:00 2001 From: fennecdjay Date: Wed, 29 Jun 2022 20:20:46 +0200 Subject: [PATCH] :wrench: make make update great again --- scripts/update.sh | 32 +++++++++++++++++++++++--------- 1 file changed, 23 insertions(+), 9 deletions(-) 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 -- 2.43.0