Problem in jedstate init file

[Jörg Sommer]

Hello Rafael,

Rafael Laboissiere schrieb am Sat 13. Oct, 15:22 (+0200):
> The initialization file for jedstate (/etc/jed.d/55jedstate.sl)
> contains:
> 
>     require ("gdbmrecent");
> 
> but this only works when the jed-extra package is installed.  If the user
> removes the jed-extra package (and hence also jedstate) without purging,
> then this file will be left in the system and jed will give an error at
> startup.  

Does this help:

try
    require ("gdbmrecent");
catch OpenError;

Bye, Jörg.
-- 
Der Mensch hat die Atombombe erfunden.
Keine Maus der Welt käme auf die Idee, eine Mausefalle zu konstruieren.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://lists.alioth.debian.org/pipermail/pkg-jed-devel/attachments/20071013/5c4f7b08/attachment.pgp