This file is indexed.

prerm is in webgui 7.10.28-1.

This file is a maintainer script. It is executed when installing (*inst) or removing (*rm) the package.

The actual contents of the file can be viewed below.

 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

case "$1" in
    remove) 
            # Remove local customization directories, if empty.
            rmdir /usr/local/share/webgui/lib 2>/dev/null || true
            rmdir /usr/local/share/webgui     2>/dev/null || true

            ;;
    
    *)      # Nothing to do here, move along
            ;;
esac

# Automatically added by dh_installinit
if [ -x "/etc/init.d/webgui" ]; then
	invoke-rc.d webgui stop || exit $?
fi
# End automatically added section


exit 0