File: prerm

package info (click to toggle)
rbootd 2.0-6
  • links: PTS
  • area: main
  • in suites: woody
  • size: 196 kB
  • ctags: 237
  • sloc: ansic: 1,634; sh: 70; makefile: 63
file content (17 lines) | stat: -rw-r--r-- 340 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
#!/bin/sh

# pre remove script for Debian GNU/Linux rbootd package

set -e

/etc/init.d/rbootd stop

## Remove the local files dir if emtpy -- leave alone o/w
rmdir /usr/local/lib/rbootd || true


## Remove the old doc directory
if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/rbootd ]; then
        rm -f /usr/doc/rbootd
fi