]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Add scripts/update.sh
authorJérémie Astor <fennecdjay@gmail.com>
Sun, 9 Jan 2022 13:54:52 +0000 (14:54 +0100)
committerJérémie Astor <fennecdjay@gmail.com>
Sun, 9 Jan 2022 13:54:52 +0000 (14:54 +0100)
scripts/update.sh [new file with mode: 0644]

diff --git a/scripts/update.sh b/scripts/update.sh
new file mode 100644 (file)
index 0000000..e828a56
--- /dev/null
@@ -0,0 +1,12 @@
+#!/bin/bash
+git pull
+git submodule update --recursive --init
+make clean-all
+make -j
+make -C plug
+sudo make install
+mkdir -p ~/.gwplug
+rm -f ~/.gwplug/*.so
+for a in $(cat plug/list.txt)
+do cp plug/$a/*.so ~/.gwplug
+done