iankelling.org Git - distro-setup/blob - my-update-info-dir

   1 #!/bin/bash
   2
   3
   4 INFODIR=/usr/share/info
   5 sudo rm -f "$INFODIR/dir"
   6
   7 for dir in $(emacs --batch --eval '(progn(package-initialize) (dolist (x Info-directory-list) (message x)))' |& sort -u); do
   8
   9   case ${dir%/} in
  10     # this is from /usr/sbin/update-info-dir
  11     */info)
  12
  13       echo $dir
  14       find $dir -type f | while read file ; do
  15         case $file in
  16           */dir|*/dir.gz|*/dir.old|*/dir.old.gz|*-[0-9]|*-[0-9].gz|*-[1-9][0-9]|*-[1-9][0-9].gz|*.png|*.jpg)
  17             # these files are ignored
  18             continue
  19             ;;
  20           *)
  21             echo $file
  22             sudo install-info "$file" "$INFODIR/dir"
  23             ;;
  24         esac
  25       done
  26       ;;
  27     # ignore relative
  28     [^/]*) : ;;
  29     *)
  30       for file in $dir/*.info*; do
  31         #echo $file
  32         sudo install-info "$file" "$INFODIR/dir"
  33       done
  34       ;;
  35   esac
  36 done