From d2d9b64591ad7d50c0a9248229b70b11041c685a Mon Sep 17 00:00:00 2001 From: Rob Austein Date: Tue, 28 May 2013 13:43:28 +0000 Subject: Don't stomp rpki.conf when installing from Makefiles. Make deinstallation of rpki.conf the user's problem except on platforms like Ubuntu where we can tell the difference between upgrade, remove, and purge. See #531. svn path=/trunk/; revision=5336 --- buildtools/freebsd-skeleton/rpki-ca/pkg-deinstall | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'buildtools') diff --git a/buildtools/freebsd-skeleton/rpki-ca/pkg-deinstall b/buildtools/freebsd-skeleton/rpki-ca/pkg-deinstall index fb184390..0e63b94c 100644 --- a/buildtools/freebsd-skeleton/rpki-ca/pkg-deinstall +++ b/buildtools/freebsd-skeleton/rpki-ca/pkg-deinstall @@ -37,11 +37,14 @@ DEINSTALL) /usr/local/libexec/rpkigui-apache-conf-gen --freebsd --remove --verbose - # Clean up configuration file. + # This is where we'd remove rpki.conf if it were identical to + # rpki.conf.sample and if we didn't have to worry about things + # like SQL passwords. As it is, we always leave rpki.conf for the + # user to delete. - if /usr/bin/cmp -s /usr/local/etc/rpki.conf.sample /usr/local/etc/rpki.conf + if test -f /usr/local/etc/rpki.conf then - /bin/rm -f /usr/local/etc/rpki.conf + echo "Please remove /usr/local/etc/rpki.conf manually if you're really deinstalling." fi /bin/rm -f /usr/local/etc/rpki.conf.sample -- cgit v1.2.3