/mandos/release

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/release

« back to all changes in this revision

Viewing changes to debian/mandos-client.postrm

  • Committer: Teddy Hogeborn
  • Date: 2008-10-04 03:11:39 UTC
  • Revision ID: teddy@fukt.bsnet.se-20081004031139-llfxo3ac8kk4fs6b
* Makefile (DOCS): Added "plugins.d/usplash.8mandos" and
                   "plugins.d/splashy.8mandos".
  (install-client-nokey): Also install "plugins.d/usplash.8mandos" and
                          "plugins.d/splashy.8mandos".
  (uninstall-client): Also uninstall "plugins.d/usplash.8mandos" and
                      "plugins.d/splashy.8mandos".

* plugins.d/splashy.xml: New.

* plugins.d/usplash.xml: - '' -

Show diffs side-by-side

added added

removed removed

Lines of Context:
45
45
        rm --force /etc/mandos/plugin-runner.conf \
46
46
            /etc/keys/mandos/pubkey.txt \
47
47
            /etc/keys/mandos/seckey.txt 2>/dev/null
48
 
        update_initramfs
49
48
        ;;
50
49
    upgrade|failed-upgrade|disappear|abort-install|abort-upgrade)
51
50
        ;;
52
51
 
53
52
    *)
54
 
        echo "$0 called with unknown argument '$1'" 1>&2
 
53
        echo "$0 called with unknown argument \`$1'" 1>&2
55
54
        exit 1
56
55
        ;;
57
56
esac