File: erlang-manpages.postinst

package info (click to toggle)
erlang 1%3A23.2.6%2Bdfsg-1%2Bdeb11u1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 199,804 kB
  • sloc: erlang: 1,509,787; xml: 412,313; ansic: 393,504; cpp: 51,923; makefile: 18,193; sh: 13,051; lisp: 9,681; java: 8,061; python: 5,195; perl: 4,322; asm: 3,586; pascal: 3,435; javascript: 595; sed: 72; php: 2
file content (24 lines) | stat: -rw-r--r-- 457 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
#! /bin/sh
# postinst script for erlang-manpages
#
# see: dh_installdeb(1)

set -e

if [ "$1" = configure ] && dpkg --compare-versions "$2" lt-nl "1:12.b.1" ; then
    for name in dialyzer \
		epmd \
		erl \
		erl_call \
		erlc \
		escript \
		run_erl \
		start ; do
	dpkg-divert --package erlang-manpages --remove --rename \
		    --divert /usr/share/man/man1/$name.erlang.1.gz \
			     /usr/share/man/man1/$name.1.gz >/dev/null
    done
fi

#DEBHELPER#