jedstate−to−gdbmrecent − migrate from jedstate to gdbmrecent databases
jedstate−to−gdbmrecent [JEDSTATE−DB [GDBMRECENT−DB]]
jedstate-to-gdbmrecent is a tool to help users to mirate from a jedstate database into a gdbmrecent one. It can be called with 0, 1 or 2 arguments. When present, the first and second arguments are the file names of the jedstate database (defaults to ~/.jedstate.db) and the gdbmrecent one (defaults to ~/.jed/recent_db). If ‘GDBMRECENT−DB’ does not exist, then it will be created. Otherwise, the contents of ‘JEDSTATE−DB’ will be added to it.
In order to use the gdbmrecent database, install the jed-extra Debian package and add the following to your ~/.jed/jed.rc initialization file (or whichever name it has):
require ("gdbmrecent");
"jed (1)"
Rafael Laboissiere