diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-01-15 20:24:54 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-01-15 20:24:54 +0100 |
| commit | c625e81f6cc731ade06b17cac558ba2cd8828aca (patch) | |
| tree | f2c8b5917d7bd89254c0be6c473b86d8bf085de7 /debian/gnome-pie.postrm | |
| parent | e331868fe2dbeea8489be2cf517631603bfdf698 (diff) | |
Delete leftover files
Diffstat (limited to 'debian/gnome-pie.postrm')
| -rw-r--r-- | debian/gnome-pie.postrm | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/debian/gnome-pie.postrm b/debian/gnome-pie.postrm new file mode 100644 index 0000000..e725100 --- /dev/null +++ b/debian/gnome-pie.postrm @@ -0,0 +1,13 @@ +#!/bin/sh + +set -e + +if [ "$1" = purge ]; then +# +# purge systemd files +# + rm -f /usr/share/applications/gnome-pie.desktop + +fi + +#DEBHELPER# |