3
# Debian package preinst
7
# need to move configuration file to proper directory
8
if [ -f /var/lib/dejagnu/site.exp ]; then
9
if [ ! -d /etc/dejagnu ]; then
10
install -d -g root -m 755 -o root /etc/dejagnu
12
mv -f /var/lib/dejagnu/site.exp /etc/dejagnu