File: postinst

package info (click to toggle)

time 1.7-23.1

links: PTS
area: main
in suites: squeeze
size: 756 kB
ctags: 207
sloc: ansic: 1,392; sh: 856; makefile: 71

file content (26 lines) | stat: -rw-r--r-- 488 bytes

parent folder | download | duplicates (2)

#!/bin/sh
#
# This is the postinst script for the Debian GNU/Linux time package
#
# Written by Dirk Eddelbuettel <edd@debian.org>   

set -e 

#DEBHELPER# 

case "$1" in
    configure)
	install-info --quiet --section "General commands" "General commands:" \
	    --description="A utility to time the execution of a command" time.info.gz
	#
	;;
    abort-upgrade|abort-remove|abort-deconfigure)
	exit 0
	;;
    *)
	echo "postinst called with unknown argument \`$1'" >&2
	exit 0
	;;
esac