diff options
| -rw-r--r-- | print/dvips/pkg-deinstall | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/print/dvips/pkg-deinstall b/print/dvips/pkg-deinstall index 290b365ea873..93a0d61cad85 100644 --- a/print/dvips/pkg-deinstall +++ b/print/dvips/pkg-deinstall @@ -1,5 +1,9 @@ #!/bin/sh +if [ "$2" = "POST-DEINSTALL" ]; then + exit 0 +fi + prefix=/usr/local cat << END @@ -10,12 +14,15 @@ this file now. END -echo -n "do you want to deinstall the package ? [y] " -read answ; if [ "$answ" = "" ]; then answ=y; fi +if [ -z "${PACKAGE_BUILDING}" ]; then + read -p "do you want to deinstall the package ? [y] " answ + if [ "$answ" = "" ]; then answ=y; fi +else + answ="y" +fi case $answ in y*|Y*) break;; *) exit 1;; esac exit 0 - |