76c23bbd96
This avoids the need of having to create a new file in pkg metadata dir with a few lines and puts all them in the INSTALL/REMOVE scripts. --HG-- extra : convert_revision : 2dc1d3f6ddcc6aec7dadf14df475c32959df0aba
51 lines
828 B
Bash
Executable File
51 lines
828 B
Bash
Executable File
#!/bin/sh
|
|
#
|
|
# Registers or unregisters info files for a package.
|
|
#
|
|
# Arguments: $1 = action [run/targets]
|
|
# $2 = target [post-install/pre-remove]
|
|
# $3 = pkgname
|
|
#
|
|
installinfo=usr/bin/install-info
|
|
infodir=usr/share/info
|
|
|
|
case "$1" in
|
|
targets)
|
|
echo "post-install pre-remove"
|
|
;;
|
|
run)
|
|
[ ! -x "$installinfo" ] && exit 0
|
|
|
|
if [ -z "$info_files" ]; then
|
|
echo "Trigger info-files: empty info_files."
|
|
exit 1
|
|
fi
|
|
|
|
for f in ${info_files}; do
|
|
[ "$f" = "/usr/share/info/dir" ] && continue
|
|
|
|
case "$2" in
|
|
post-install)
|
|
echo -n "Registering info file: $f... "
|
|
;;
|
|
pre-remove)
|
|
echo -n "Unregistering info file: $f... "
|
|
infoargs="--delete"
|
|
;;
|
|
esac
|
|
|
|
$installinfo $infoargs ./$f $infodir/dir 2>/dev/null
|
|
if [ $? -eq 0 ]; then
|
|
echo "done."
|
|
else
|
|
echo "failed!"
|
|
fi
|
|
done
|
|
;;
|
|
*)
|
|
exit 1
|
|
;;
|
|
esac
|
|
|
|
exit 0
|