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 Git log
- 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)