Home | Modes | Categories | Search | Doc |


libdir

Support for library directories with jed extensions


Creator
Milde, Günter
Contributor
Sommer, Jörg
Subject
slang-extensions
Description
The functions add_libdir(dir, initialize=0) and append_libdir(dir, initialize=0) declare additional library directories:
* prepend|append `dir' to the jed search path
* set Color_Scheme_, dfa-cache- and documentation- path
* evaluate (if existent and `initialize' is TRUE)) the file ini.sl in dir (ini.sl files can be autocreated by make_ini.sl).
Together with make_ini.sl, this provides a convenient way of extending JED with contributed or home-made scripts.
remove_libdir(dir) removes `dir' from the search paths.
References
make_ini
Versions
See the CVS repository: libdir
Download links:
libdir.sl
Replaces
home-lib
Rights
Copyright © 2005 Günter Milde.
Released under the terms of the GNU General Public License (version 2 or later)

Last update 2009-02-16.