diff options
Diffstat (limited to 'buildtools/debian-skeleton/rpki-ca.prerm')
| -rw-r--r-- | buildtools/debian-skeleton/rpki-ca.prerm | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/buildtools/debian-skeleton/rpki-ca.prerm b/buildtools/debian-skeleton/rpki-ca.prerm index 3f44ea4d..08216a20 100644 --- a/buildtools/debian-skeleton/rpki-ca.prerm +++ b/buildtools/debian-skeleton/rpki-ca.prerm @@ -21,15 +21,9 @@ case "$1" in remove) # Clean up BPKI files. These all come from SQL, so we can - # regenerate them easily if appropriate. - - rm -f /usr/share/rpki/ca.cer - rm -f /usr/share/rpki/irbe.cer - rm -f /usr/share/rpki/irdbd.cer - rm -f /usr/share/rpki/pubd.cer - rm -f /usr/share/rpki/pubd.key - rm -f /usr/share/rpki/rpkid.cer - rm -f /usr/share/rpki/rpkid.key + # regenerate them easily, if appropriate. + + rm -rf /usr/share/rpki/bpki # Clean up our cron jobs. |