diff options
author | euer <root@euer.krebsco.de> | 2012-12-20 17:35:31 +0100 |
---|---|---|
committer | euer <root@euer.krebsco.de> | 2012-12-20 17:35:31 +0100 |
commit | 97bd0fe6fd64ba77e9bcf092f6f84301d2953bae (patch) | |
tree | ce087d9fc993b5591e4cc13f1b627bb411d44dab /meta/bin/update | |
parent | a2f418e3b0ff8b452ca1893ab29d2cde75079189 (diff) |
//meta -> //sandbox/meta
Diffstat (limited to 'meta/bin/update')
-rwxr-xr-x | meta/bin/update | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/meta/bin/update b/meta/bin/update deleted file mode 100755 index 9b2289ad..00000000 --- a/meta/bin/update +++ /dev/null @@ -1,15 +0,0 @@ -#! /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 |