annotate debian/postrm @ 7320:1c6c94f693ed

-gui option removal leftovers
author diego
date Sun, 08 Sep 2002 16:55:43 +0000
parents f335b0da380c
children 8689fa04b837
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7214
f335b0da380c Remove config files on purge.
diego
parents:
diff changeset
1 #!/bin/sh
f335b0da380c Remove config files on purge.
diego
parents:
diff changeset
2
f335b0da380c Remove config files on purge.
diego
parents:
diff changeset
3 set -e
f335b0da380c Remove config files on purge.
diego
parents:
diff changeset
4
f335b0da380c Remove config files on purge.
diego
parents:
diff changeset
5 if [ "$1" = "purge" ]; then
f335b0da380c Remove config files on purge.
diego
parents:
diff changeset
6 if [ -d /etc/mplayer/ ]; then
f335b0da380c Remove config files on purge.
diego
parents:
diff changeset
7 rm -rf /etc/mplayer/
f335b0da380c Remove config files on purge.
diego
parents:
diff changeset
8 fi
f335b0da380c Remove config files on purge.
diego
parents:
diff changeset
9 fi