freebsd-ports/shells/bashc/pkg-deinstall
Alejandro Pulver 88863d272a Bash Commander is a traditional GNU bash shell extended with visual two-panel
file browser.

Features:

* Full bash compatibility.
* Embedded visual file browser.
* Two file panels, turned on and off by pressing ^O.
* Actions and colors configured via .bashrc script.
* Run current file on pressing Enter, configurable via commander_start_file()
  shell function.
* Perform an action on pressing F1-F20 keys, configurable via commander_fN()
  shell functions.

WWW:	http://groups.google.com/group/bashc/web/overview
2008-03-11 22:38:46 +00:00

23 lines
479 B
Bash

#!/bin/sh
#
# $FreeBSD$
#
BASHC="$(echo ${PKG_PREFIX-/usr/local}/bin/bashc | /usr/bin/sed -e 's|//|/|g')"
SHELLS="${PKG_DESTDIR-}/etc/shells"
case $2 in
DEINSTALL)
if grep -qs "^$BASHC\$" "$SHELLS"; then
if [ `id -u` -eq 0 ]; then
TMPSHELLS=`mktemp -t shells`
grep -v "^$BASHC\$" "$SHELLS" > "$TMPSHELLS"
cat "$TMPSHELLS" > "$SHELLS"
rm "$TMPSHELLS"
else
echo "Not root, please remove $BASHC from $SHELLS manually"
fi
fi
;;
esac