diff options
| author | Rob Austein <sra@hactrn.net> | 2013-05-28 13:43:28 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2013-05-28 13:43:28 +0000 |
| commit | d2d9b64591ad7d50c0a9248229b70b11041c685a (patch) | |
| tree | 49e28d89b1bf79be0f895b2423005cde6fe78c4b /buildtools | |
| parent | 503cbb89134b287fdb027c6b2ed261fba489598f (diff) | |
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
Diffstat (limited to 'buildtools')
| -rw-r--r-- | buildtools/freebsd-skeleton/rpki-ca/pkg-deinstall | 9 |
1 files changed, 6 insertions, 3 deletions
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 |