chiark / gitweb /
wip maint scripts
[xfonts-traditional] / debian / xfonts-traditional.prerm
index 4dc7f2ca59921be6b762dd1ec87dbcfdae900deb..a2786a62a054038fac4776962f6f6610198148b0 100644 (file)
@@ -11,12 +11,20 @@ remove)
 
        if grep '^fixed[         ][      ]*-trad-'; then
                cat >&2 <<END
+Removing xfonts-traditional would probably your X server by removing "fixed".
+
 You should not remove xfonts-traditional while "fixed" refers to one
 of its fonts.  You probably want to check the differences between
 /etc/X11/fonts/misc/xfonts-base.alias and xfonts-base.alias.not-trad,
 and probably replace the former with the latter, and retry the removal.
+
 END
-               exit 1
+               printf 'Continue anyway ? [n/y] '
+               read x
+               case "$x" in
+               y*|Y*)  ;;
+               *)      exit 1 ;;
+               esac
        fi
 
        ;;