/usr/sbin/update-hoogle is in hoogle 5.0.14+dfsg1-1build2.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | #!/bin/sh
DATABASE_DIR=/var/lib/hoogle/databases
HOOGLE=/usr/bin/hoogle
# cleanup
rm -rf $DATABASE_DIR/*
# convert
echo -n "Converting databases..."
TXTFILES_SYM=`find /usr/lib/ghc-doc/hoogle/ -name "*.txt"`
LOCALS=""
for i in $TXTFILES_SYM; do
TXTFILE=$(readlink -f $i)
if [ -r "$TXTFILE" ]; then
LOCALS="$LOCALS --local=$(dirname $TXTFILE)"
fi
done
$HOOGLE generate --database=$DATABASE_DIR/default.hoo $LOCALS > /dev/null 2>&1
echo " done"
|