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 | |
| parent | 7fcd4f495a09c60843fc51d13afb9bb1ed32950f (diff) | |
punani ui is in lib/punani again
Diffstat (limited to 'ship/src')
| -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 "$@" | 
