Fail to install current jed-extra
rafael at debian.org
Thu Nov 17 17:51:03 UTC 2005
* Rafael Laboissiere <rafael at debian.org> [2005-11-17 18:37]:
> The variable dir should have the value "/usr/share/jed/jed-extra" and
> not the current working directory as when I run debi. As I wrote
> above, I am lost.
Not so lost now: I found the following in make_ini.sl:
% run update_ini, if called as a batch process
If update_ini is called without arguments as above, then it will set the
dir variable to the current directory via buffer_dirname(), doesn't it?
This may explain where the problem comes from.
More information about the Pkg-jed-devel