diff options
author | jmz <jmz@FreeBSD.org> | 1995-04-22 08:14:30 +0800 |
---|---|---|
committer | jmz <jmz@FreeBSD.org> | 1995-04-22 08:14:30 +0800 |
commit | b392f05bed17ff3df3e32b6db773f747b0d99724 (patch) | |
tree | fd6a0fed334b5484049a94e05388829abfb99bd3 /print/xdvi/pkg-deinstall | |
parent | 80b7dd49cdf4958e29bdf3a5dfaf0dfcc6da394c (diff) | |
download | freebsd-ports-gnome-b392f05bed17ff3df3e32b6db773f747b0d99724.tar.gz freebsd-ports-gnome-b392f05bed17ff3df3e32b6db773f747b0d99724.tar.zst freebsd-ports-gnome-b392f05bed17ff3df3e32b6db773f747b0d99724.zip |
Warn and request confirmation for installing/removing the package. One file
may also be used by dvips; the package is build with some defaults, which
may be not wanted by the user (the port IS_INTERACTIVE)
Diffstat (limited to 'print/xdvi/pkg-deinstall')
-rw-r--r-- | print/xdvi/pkg-deinstall | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/print/xdvi/pkg-deinstall b/print/xdvi/pkg-deinstall new file mode 100644 index 000000000000..6a3fcb2b7885 --- /dev/null +++ b/print/xdvi/pkg-deinstall @@ -0,0 +1,21 @@ +#!/bin/sh + +prefix=/usr/local + +cat << END + +Installing xdvi will remove $prefix/MakeTeXPK. This file may be used by +dvips or other programs. If this is the case, you must make a backup of +this file now. + +END + +echo -n "do you want to deinstall the package ? [y] " +read answ; if [ "$answ" = "" ]; then answ=y; fi +case $answ in + y*|Y*) break;; + *) exit 1;; +esac + +exit 0 + |