diff options
author | makefu <root@pigstarter.de> | 2013-12-17 17:53:31 +0100 |
---|---|---|
committer | makefu <root@pigstarter.de> | 2013-12-17 17:59:24 +0100 |
commit | f50fc9e477372826b8a5d7f6ddb05a07b36f63ee (patch) | |
tree | 4e16e25e74a52ec25bffad4683b714d0dc5f094b /ship/src/punani | |
parent | 7fcd4f495a09c60843fc51d13afb9bb1ed32950f (diff) |
punani ui is in lib/punani again
Diffstat (limited to 'ship/src/punani')
-rwxr-xr-x | ship/src/punani | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/ship/src/punani b/ship/src/punani index 2c956f02..ceabd667 100755 --- a/ship/src/punani +++ b/ship/src/punani @@ -1,50 +1,4 @@ #! /bin/sh #@info #@include punani -punani(){ - _punani_usage='punani {install,remove,has,owner} PACKAGE...' - _punani_select_packer || die 'no package manager found; no punani for you!' - - ACTION="$1"; shift - - if test $# = 0; then - error 'no PACKAGE specified.' - die "usage: $_punani_usage" - fi - - for PKG; do - RES="`_punani_resolve_package $PKG`" || - die "could not resolve '$PKG'; no punani for you!" - - case "$ACTION" in - install) - if punani_has $RES; then - info "$RES already installed, skipping" - else - punani_install $RES || error "cannot install $RES with $PACKER" - fi - ;; - remove) - if ! punani_has $RES; then - info "$RES not installed, skipping" - else - punani_remove $RES || error "cannot install $RES with $PACKER" - fi - ;; - has) - if punani_has $RES; then - info "$RES is installed" - else - info "$RES is not installed" - fi - ;; - owner) - punani_owner $RES - ;; - *) - error "bad action: $ACTION" - die "usage: $_punani_usage" - esac - done -} punani "$@" |