#!/bin/sh # update-info-dir # create a dir file from all installed info files # Copyright 2009, 2014 Norbert Preining # GPLv2 INFODIR=/usr/share/info set -e # # since user's environment is taken over into root account when sudo-ing # we don't want that one's user LANGUAGE setting changes the messages in # the dir file. Unset LANGUAGE and reload /etc/environment to get # the system wide settings. See bug #536476 unset LANGUAGE unset LANG if [ -r /etc/environment ] ; then exec 9<&0 &2 exit 1 fi if [ -r "$INFODIR/dir" ] ; then rm -f "$INFODIR/dir.old" cp $INFODIR/dir $INFODIR/dir.old fi # we have to remove the dir file not make install-info being surprised rm -f "$INFODIR/dir" errors=0 find "$INFODIR" -type f | while read file ; do case $file in */dir|*/dir.gz|*/dir.old|*/dir.old.gz|*-[0-9]|*-[0-9].gz|*-[1-9][0-9]|*-[1-9][0-9].gz|*.png|*.jpg) # these files are ignored continue ;; *) install-info "$file" "$INFODIR/dir" || { errors=$((errors+1)) } ;; esac done if [ $errors -gt 0 ] ; then exec >&2 echo echo "Updating the index of info documentation produced $errors errors." fi exit 0 # vim:set expandtab tabstop=2: #