diff options
| author | root <root@pigstarter.de> | 2013-11-05 13:24:42 +0100 |
|---|---|---|
| committer | root <root@pigstarter.de> | 2013-11-05 13:24:42 +0100 |
| commit | 5e326f51c58e500285ea3daee91986ee1ea518eb (patch) | |
| tree | 2b3eccf15e10e4331dcb2d01c9f53620d749f55f /sandbox/meta/bin | |
| parent | ae627d2aa73ea6862af3985f1c07e95c6d493275 (diff) | |
sandbox -> .graveyard
Diffstat (limited to 'sandbox/meta/bin')
| -rwxr-xr-x | sandbox/meta/bin/update | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/sandbox/meta/bin/update b/sandbox/meta/bin/update deleted file mode 100755 index 9b2289ad..00000000 --- a/sandbox/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 |