mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-20 20:09:11 +00:00
ccee6bcb19
Approved by: antoine (implicit)
16 lines
374 B
Bash
16 lines
374 B
Bash
#!/bin/sh
|
|
|
|
PORTNAME=${1%-*}
|
|
|
|
[ "$2" = DEINSTALL ] && cat <<***EOM
|
|
------------------------------------------------------------------------------
|
|
|
|
If you are no longer using the $PORTNAME port, then manually delete
|
|
the following directory and all its contents:
|
|
|
|
/var/db/$PORTNAME
|
|
|
|
------------------------------------------------------------------------------
|
|
***EOM
|
|
exit 0
|