2009-05-29 15:29:49 +02:00
|
|
|
{config, pkgs, ...}:
|
|
|
|
|
|
|
|
let
|
|
|
|
|
|
|
|
# Quick hack to make the `info' command work properly. `info' needs
|
|
|
|
# a "dir" file containing all the installed Info files, which we
|
|
|
|
# don't have (it would be impure to have a package installation
|
|
|
|
# update some global "dir" file). So this wrapper script around
|
|
|
|
# "info" builds a temporary "dir" file on the fly. This is a bit
|
|
|
|
# slow (on a cold cache) but not unacceptably so.
|
2009-05-29 15:30:28 +02:00
|
|
|
infoWrapper = pkgs.writeScriptBin "info"
|
2009-05-29 15:29:49 +02:00
|
|
|
''
|
|
|
|
#! ${pkgs.stdenv.shell}
|
|
|
|
|
|
|
|
dir=$(mktemp --tmpdir -d "info.dir.XXXXXX")
|
|
|
|
|
|
|
|
if test -z "$dir"; then exit 1; fi
|
|
|
|
|
|
|
|
trap 'rm -rf "$dir"' EXIT
|
|
|
|
|
|
|
|
shopt -s nullglob
|
|
|
|
|
|
|
|
for i in $(IFS=:; echo $INFOPATH); do
|
|
|
|
for j in $i/*.info; do
|
|
|
|
${pkgs.texinfo}/bin/install-info --quiet $j $dir/dir
|
|
|
|
done
|
|
|
|
done
|
|
|
|
|
|
|
|
INFOPATH=$dir:$INFOPATH ${pkgs.texinfo}/bin/info "$@"
|
|
|
|
''; # */
|
|
|
|
|
2011-09-14 20:20:50 +02:00
|
|
|
in
|
2009-05-29 15:29:49 +02:00
|
|
|
|
|
|
|
{
|
|
|
|
environment.systemPackages = [infoWrapper];
|
|
|
|
}
|