1
0
mirror of https://github.com/gryf/wmaker.git synced 2025-12-24 15:12:32 +01:00
Files
wmaker/debian/wmaker-common.postinst
2017-08-15 10:34:03 +01:00

15 lines
405 B
Bash

#!/bin/sh
set -e
#DEBHELPER#
# run after debhelper code, which removes menu-methods.
if [ "$1" = "configure" ] &&
[ x"$2" != "x" ] &&
test -e /etc/GNUstep/Defaults/appearance.menu &&
dpkg --compare-versions "$2" '<<' '0.95.8-2~' ; then
if head -n1 /etc/GNUstep/Defaults/appearance.menu |
grep -q 'Automatically generated file. Do not edit.' ; then
rm /etc/GNUstep/Defaults/appearance.menu
fi
fi