1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/bin/sh
set -e
#DEBHELPER#
# Move a conffile without triggering a dpkg question
# No need to rename the default into .dpkg-new since no default
# config file installed anymore
mv_conffile() {
OLDCONFFILE="$1"
NEWCONFFILE="$2"
if [ -e "$OLDCONFFILE" ]; then
echo "Preserving user changes to $NEWCONFFILE ..."
mv -f "$OLDCONFFILE" "$NEWCONFFILE"
fi
}
case "$1" in
configure)
if dpkg --compare-versions "$2" le "0.11-1"; then
mv_conffile "/etc/llgalrc" "/etc/llgal/llgalrc"
fi
esac
|
