diff options
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Makefile | 9 | ||||
-rw-r--r-- | lib/libkrebs.sh | 10 |
2 files changed, 0 insertions, 19 deletions
diff --git a/lib/Makefile b/lib/Makefile deleted file mode 100644 index 4d33995f..00000000 --- a/lib/Makefile +++ /dev/null @@ -1,9 +0,0 @@ - - -.PHONY: all install -all: select-target - -install: ../bin/libkrebs.sh - -../bin/libkrebs.sh: libkrebs.sh - ln -vsnf ../lib/$< $@ diff --git a/lib/libkrebs.sh b/lib/libkrebs.sh deleted file mode 100644 index d423a053..00000000 --- a/lib/libkrebs.sh +++ /dev/null @@ -1,10 +0,0 @@ -#! /bin/sh -esudo() { - if test "${esudo-true}" = true -a `id -u` != 0; then - echo "we're going sudo..." >&2 - export esudo=false - exec sudo "$0" "$@" - exit 23 # go to hell - fi -} - |