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