Wichert Akkerman writes:
 > Previously Matthew Vernon wrote:
 > > There is actually a previous bug of the same nature, and I posted a
 > > fix then, but was told that it wasn't really a bug after all...
 > 
 > Do you have a bugnumber or other location of that fix for me?

I couldn't find it at a brief glance, so here's the script again - the
dpkg and gnu install-info versions are kept in different locations,
and the script decides which to use based on command-line arguments,
defaulting to the dpkg version.

Matthew

#! /bin/bash
# install_info.sh: checks command-line arguments for ones unique
# to either GNU install_info or dpkg install_info
# and calls the appropriate script,
# the Default being dpkg install_info
# This script Copyright C 1999 Matthew Vernon <[EMAIL PROTECTED]>
# Released under the GPL version 2

a=$@   #shift would mangle this otherwise
gnu_install_info=/usr/bin/ginstall_info
dpkg_install_info=/usr/bin/dinstall_info

if [ $# -eq 1 ]
        then echo "Dpkg install-info to be used"
        exit 0
fi

while [ $1 ]
        do
case "$1" in
        
--dir-file=*|--entry=*|--delete|--info-file=*|--info-dir=*--item=*--section=*)
                echo "Using GNU install-info"
                $gnu_install_info $a
                exit 0
                ;;
                
--section|--infodir=*|--align=*|--calign=*|--maxwidth=*|--description=*|--menuentry=*|--keep-old|--test)
                echo "Using Dpkg install-info"
                $dpkg_install_info $a
                exit 0
                ;;
                *)
                ;;
                esac
                shift
        done
echo "Unable to determine which install-info to use, defaulting to dpkg's 
version."
$dpkg_install_info $a


-- 
"At least you know where you are with Microsoft."
"True. I just wish I'd brought a paddle."
http://www.debian.org

Reply via email to