[go: up one dir, main page]

File: postrm

package info (click to toggle)
time 1.7-9
  • links: PTS
  • area: main
  • in suites: potato
  • size: 484 kB
  • ctags: 143
  • sloc: ansic: 1,402; sh: 294; makefile: 58
file content (33 lines) | stat: -rw-r--r-- 555 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
 
#!/bin/sh
#
# This is the postrm script for the Debian GNU/Linux time package
#
# Written by Dirk Eddelbuettel <edd@debian.org>   

set -e

#DEBHELPER#

case "$1" in
    upgrade)
	exit 0
	;;
    remove|purge)
	# update menus (not needed as we now use doc-base)
	#if test -x /usr/bin/update-menus
	#then 
	#    update-menus
	#fi
	# update info
	install-info --quiet --remove time
	exit 0               
	;;
    failed-upgrade|abort-install|abort-upgrade|disappear)
	exit 0
	;;
    *)
	echo "postrm called with unknown argument \`$1'" >&2
	exit 0
	;;
esac