Merge branch 'master' into punani_files

2 files changed, 40 insertions, 0 deletions

diff --git a/meta/bin/update b/meta/bin/update
new file mode 100755
index 00000000..9b2289ad
--- /dev/null
+++ b/meta/bin/update
@@ -0,0 +1,15 @@
+#! /bin/sh
+set -euf
+
+cd $(dirname $(readlink -f $0))/../..
+id=`ls -lnd . | awk '{print$3}'`
+
+if test "${nosudo-false}" != true -a `id -u` != $id; then
+  echo "we're going sudo..." >&2
+  exec sudo -u "#$id" "$0" "$@"
+  exit 23 # go to hell
+fi
+
+echo "// is $PWD owned by $id"
+
+git pull
diff --git a/meta/install b/meta/install
new file mode 100755
index 00000000..07096b34
--- /dev/null
+++ b/meta/install
@@ -0,0 +1,25 @@
+#! /bin/sh
+set -euf
+
+cd $(dirname $(readlink -f $0))
+
+id=`ls -ld . | awk '{print$3}'`
+update=$PWD/bin/update
+
+echo "#"
+echo "# to install metastatic automatization facility do following:"
+echo "#"
+echo
+echo "  ln -vsn $update /update"
+echo
+if test -e /update; then
+  echo "# but beware: you already have an /update like this:"
+  ls -l /update
+fi
+echo "# then check if you can execute following with your current user:"
+echo
+echo "  /update"
+echo
+echo "# if not then add that user to your sudoers... maybe something"
+echo "# like this could work: `id -un` ALL=($id) NOPASSWD:/update"
+echo "#^D"