Release Jed 0.99.18-1

Rafael Laboissiere rafael at debian.org
Thu May 18 20:54:19 UTC 2006


* Paul Boekholt <p.boekholt at hetnet.nl> [2006-05-18 22:18]:

> This script should do it.
> 
> #!/usr/local/bin/jed-script
> 
> [snip]

I tested your script and it ran correctly generating a recent_db file in
my home directory (BTW, since Recent_Db is a customizable variable in
gdbmrecent.sl, I think your script could allow a different name chosen by
the user).

However, the conversion did not work correctly.  It seems that column and
line numbers are switched.  The script works correctly by changing:

        outdb[key]=sprintf("%s:%s:%s", v[2], v[0], v[1]);

into:

        outdb[key]=sprintf("%s:%s:%s", v[2], v[1], v[0]);	

Thanks a lot for writing this script.  I will incorporate it into the
forthcoming release of the jed-extra package.

-- 
Rafael



More information about the Pkg-jed-devel mailing list