#!/bin/sh -e # # Debian package preinst case "$1" in install|upgrade) # need to move configuration file to proper directory if [ -f /var/lib/dejagnu/site.exp ]; then if [ ! -d /etc/dejagnu ]; then install -d -g root -m 755 -o root /etc/dejagnu fi mv -f /var/lib/dejagnu/site.exp /etc/dejagnu fi ;; esac