File: jed.postrm

package info (click to toggle)
jed 0.98.7-14
  • links: PTS
  • area: main
  • in suites: slink
  • size: 3,088 kB
  • ctags: 3,851
  • sloc: ansic: 29,315; makefile: 257; sh: 248
file content (26 lines) | stat: -rw-r--r-- 521 bytes parent folder | download | duplicates (3) 
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
 
#!/bin/sh -e
#
# --------------------
# Debian package prerm
# --------------------
# 
# Jed programmers editor
# formerly maintained by Boris Beletsky <borik@isracom.co.il>
# DON'T!

case "$1" in
  purge|remove|upgrade|deconfigure)
    update-alternatives --remove editor /usr/bin/jed;
    install-info --quiet --remove /usr/info/jed.info.gz;
    if [ -x /usr/bin/update-menus ] ; then update-menus ; fi
    ;;
	  
  failed-upgrade)
    ;;
		
  *)
    echo "unknown argument --> $1" >&2
    exit 0
    ;;
esac