diff options
| -rwxr-xr-x | mp.sh | 6 |
1 files changed, 3 insertions, 3 deletions
| diff --git a/mp.sh b/mp.sh index 342b4a7..b6cf388 100755 --- a/mp.sh +++ b/mp.sh | |||
| @@ -112,13 +112,13 @@ mp_cln() { | |||
| 112 | if [ -z "$1" ]; then | 112 | if [ -z "$1" ]; then |
| 113 | die "pkg name required." | 113 | die "pkg name required." |
| 114 | fi | 114 | fi |
| 115 | if [ ! -d "$WD/$1 ]; then | 115 | if [ ! -d "$WD/$1" ]; then |
| 116 | die "pkg wd not found." | 116 | die "pkg wd not found." |
| 117 | fi | 117 | fi |
| 118 | 118 | ||
| 119 | sed -i "/^$pkg_name$/d" $INSTALLED" || die "failed writing to $INSTALLED." | ||
| 120 | sed -i "/^$pkg_name-$pkg_ver (/d" "EXTINSTALLED" || die "faiiled writing to $EXTINSTALLED." | ||
| 121 | rm -rf "$WD/$1" || die "failed removing $WD/$1." | 119 | rm -rf "$WD/$1" || die "failed removing $WD/$1." |
| 120 | |||
| 121 | ok "$1 cleaned." | ||
| 122 | } | 122 | } |
| 123 | mp_upd() { | 123 | mp_upd() { |
| 124 | cd "$PORTS_DIR" || die "missing $PORTS_DIR." | 124 | cd "$PORTS_DIR" || die "missing $PORTS_DIR." |
