jedstate-to-gdbmrecent1

Usage

Overview

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");