#723120 crafty: setup_crafty.sh installs an empty ~/.crafty/crafty.hlp

Package:
crafty
Source:
crafty
Submitter:
Torkel Bjørnson-Langen
Date:
2013-09-16 17:09:09 UTC
Severity:
minor
#723120#5
Date:
2013-09-16 16:37:15 UTC
From:
To:
Dear Maintainer,


setup_crafty.sh installs an empty crafty.hlp in $HOME/.crafty/

This is a fix:
-	zcat /usr/share/doc/crafty/crafty.hlp.gz > $CPATH/crafty.hlp
+	cp -v /usr/share/doc/crafty/crafty.hlp $CPATH

But the 'help' command in Crafty works anyway, since the file
$HOME/.crafty is not used.

'lsof' reports Crafty using /usr/share/doc/crafty/crafty.hlp
instead, so a better fix might be to just drop copying crafty.hlp in
setup_crafty.sh