[Pkg-jed-commit] r340 - jed-extra/trunk/debian/examples
Guenter Milde
milde-guest at costa.debian.org
Thu Jul 6 09:18:07 UTC 2006
Author: milde-guest
Date: 2006-07-06 09:18:06 +0000 (Thu, 06 Jul 2006)
New Revision: 340
Added:
jed-extra/trunk/debian/examples/README.examples
jed-extra/trunk/debian/examples/jed-extra-minimal-revert.rc
jed-extra/trunk/debian/examples/jed-extra-minimal-upgrade.rc
Log:
more examples and a README
Added: jed-extra/trunk/debian/examples/README.examples
===================================================================
--- jed-extra/trunk/debian/examples/README.examples 2006-07-06 09:15:58 UTC (rev 339)
+++ jed-extra/trunk/debian/examples/README.examples 2006-07-06 09:18:06 UTC (rev 340)
@@ -0,0 +1,12 @@
+# site-wide configuration examples
+
+50jed-extra.sl default
+50jed-extra-full.sl more comprehensive
+50jed-extra-minimal.sl minimal (almost non-invasive)
+
+
+# user configuration examples (append to ~/.jed/jed.rc)
+
+jed-extra.rc default
+jed-extra-minimal-upgrade.rc for use with 50jed-extra-minimal.sl
+jed-extra-minimal-revert.rc revert configuration in 50jed-extra-minimal.sl
Added: jed-extra/trunk/debian/examples/jed-extra-minimal-revert.rc
===================================================================
--- jed-extra/trunk/debian/examples/jed-extra-minimal-revert.rc 2006-07-06 09:15:58 UTC (rev 339)
+++ jed-extra/trunk/debian/examples/jed-extra-minimal-revert.rc 2006-07-06 09:18:06 UTC (rev 340)
@@ -0,0 +1,65 @@
+% -*- slang -*-
+%
+% example user initialization for jed-extra
+% =========================================
+%
+% If your system has the jed-extra package installed but you do not want to
+% use it at all, you can revert the configuration as normal user, if the
+% sysadmin changed the default configuration in /etc/jed.d/50jed-extra.sl to
+% the example 50jed-extra-minimal.sl.
+%
+% In this case, you are invited to insert this file into your jed.rc and
+% modify according to your needs.
+%
+% You can still copy or link individual modes to your personal jed library
+% directory and activate according to the documentation in the source file.
+
+% The jed-extra library dir
+$1 = "/usr/share/jed/jed-extra/";
+
+% remove library directories from the search path
+% -----------------------------------------------
+
+% The default setup in /etc/jed.d/50jed-extra.sl adds library directories
+% for normal modes, utilities, and drop-in modes.
+
+% Utilities (required by the other modes)
+remove_libdir($1 + "utils/"); % you could keep this without major impact
+% re-append documentation for "util functions" to the online help
+% Jed_Doc_Files += "," + $1+"utils/libfuns.txt";
+
+% "Normal" modes
+% Initialization is done in the default config (but not in minimal)
+% (check /etc/jed.d/50jed-extra*.sl)
+remove_libdir($1); % keep this if you tolerate slightly longer searching
+% re-append documentation to the online help
+% Jed_Doc_Files += "," + $1+"libfuns.txt";
+
+% Drop-In Modes (recent, help, man, ...) need to be prepended
+% Initialization is low key (autolaods for additional functions)
+remove_libdir($1+"drop-in/") % remove to use the standard versions
+% re-append documentation for drop-in modes to the online help
+% Jed_Doc_Files += "," + $1+"drop-in/libfuns.txt";
+
+% Experimental and exotic modes
+% normally not activated
+% remove_libdir($1+"extra/")
+%
+% Recommended use is to copy or link interesting modes
+% to /usr/local/share/jed/lib/ or ~/.jed/lib
+% and use make_ini() and add_libdir() for activation (see below)
+
+% add documentation for "extra functions" to the online help
+% Jed_Doc_Files += "," + $1+"extra/libfuns.txt";
+
+
+% Jed_Home_Directory and private extensions
+% -----------------------------------------
+
+% User extensions
+% Debian sets Jed_Home_Directory to ~/.jed/ if this dir exists
+% add_libdir(path_concat(Jed_Home_Directory, "lib"), 1);
+% Jed_Highlight_Cache_Dir = path_concat(Jed_Home_Directory, "lib");
+
+% Site wide extensions
+% add_libdir("/usr/local/share/jed/lib/", 1);
Added: jed-extra/trunk/debian/examples/jed-extra-minimal-upgrade.rc
===================================================================
--- jed-extra/trunk/debian/examples/jed-extra-minimal-upgrade.rc 2006-07-06 09:15:58 UTC (rev 339)
+++ jed-extra/trunk/debian/examples/jed-extra-minimal-upgrade.rc 2006-07-06 09:18:06 UTC (rev 340)
@@ -0,0 +1,123 @@
+% -*- slang -*-
+%
+% example user initialization for jed-extra
+% =========================================
+%
+% To get most out of the add-on modes in jed-extra, some activation code
+% is needed. As this slows down the startup and might conflict with private
+% extensions this activation should be done in the users jed.rc.
+%
+% You are invited to insert this file into your jed.rc and modify
+% according to your needs.
+%
+% Many modes require additional steps to be usable: see the documentation
+% at the top of the source file. (Help>Grep_Definition can help to find the
+% source of a library function.)
+
+% jed-extra provides one more emulation mode (in addition to jed-common)
+% if (BATCH == 0)
+% {
+% require("vi"); % vi emulation
+% }
+
+% The jed-extra library dir
+$1 = "/usr/share/jed/jed-extra/";
+
+% Add and initialize library directories
+% --------------------------------------
+
+% The default setup in /etc/jed.d/50jed-extra.sl adds library directories
+% for normal modes, utilities, and drop-in modes.
+
+% Utilities (required by the other modes)
+% Initialization adds autoloads for utility functions:
+% - slows down startup
+% + lets private modes use the util functions without need for autoloads,
+% some "extra" modes rely on these autoloads as well
+% + lets Help>Apropos find util functions right from the start
+% () = evalfile($1+"utils/ini.sl");
+
+% "Normal" modes
+% Initialization is already done in the default config (but not in minimal)
+% (check /etc/jed.d/50jed-extra*.sl)
+() = evalfile($1+"ini.sl");
+
+% Drop-In Modes (recent, help, man, ...) need to be prepended
+% Initialization is low key (autolaods for additional functions)
+() = evalfile($1+"drop-in/ini.sl");
+
+
+% Experimental and exotic modes
+% '''''''''''''''''''''''''''''
+
+% Recommended use is to copy or link interesting modes
+% to /usr/local/share/jed/lib/ or ~/.jed/lib
+% and use make_ini() and add_libdir() for activation (see below)
+%
+% Another option is to require() or autoload() with the path
+% relative to the jed-library-path, (you can copy autoloads from
+% /usr/share/jed/jed-extra/extra/ini.sl)
+%
+% However, this approach will fail if the mode depends on another "extra"
+% mode and expects it in the jed-library-path.
+%
+% e.g.
+%
+% % ffap.sl: find file at point
+% "add_list_element", "extra/ffap.sl";
+% "ffap_set_info", "extra/ffap.sl";
+% "ffap", "extra/ffap.sl";
+% _autoload(3);
+%
+% "add_list_element";
+% "ffap_set_info";
+% "ffap";
+% _add_completion(3);
+%
+% % services.sl: uri_hooks for some common URI schemes.
+% require("services", "extra/services.sl");
+
+% Full activation of "extra" modes:
+% Uncomment at your own risc
+% append_libdir($1 + "extra/", 0); % append but do not initialize
+% append_libdir($1 + "extra/", 1); % append and initialize
+%
+% Alternatively, add documentation for "extra functions" to the online help
+Jed_Doc_Files += "," + $1+"extra/libfuns.txt";
+
+% "Manual" initialization of stuff not handled by the ini.sl files
+% ----------------------------------------------------------------
+
+% some examples for additional code needed to make full use of the jed-extra
+% modes:
+
+% call extension-dependend modes
+add_mode_for_extension ("css1", "css");
+add_mode_for_extension ("css1", "css1");
+add_mode_for_extension ("gnuplot", "gnuplot"); % gnuplot plotting program
+add_mode_for_extension ("gnuplot", "gp");
+add_mode_for_extension ("mupad", "mu"); % mode for mupad files
+add_mode_for_extension ("sql", "sql");
+foreach (["man", "1", "2", "3", "4", "5", "6", "7", "8"]) {
+ $2 = ();
+ add_mode_for_extension ("manedit", $2);
+}
+
+% activate extension modes
+require("numbuf"); % number buffers for fast switching
+require("navigate"); % history feature (recent buffers)
+require("ispell_init"); % improved ispell|aspell support
+% require("cuamark"); % use CUA style kind of selecting regions
+
+
+% Jed_Home_Directory and private extensions
+% -----------------------------------------
+
+% User extensions
+% Debian sets Jed_Home_Directory to ~/.jed/ if this dir exists
+add_libdir(path_concat(Jed_Home_Directory, "lib"), 1);
+% Jed_Highlight_Cache_Dir = path_concat(Jed_Home_Directory, "lib");
+
+% Site wide extensions
+add_libdir("/usr/local/share/jed/lib/", 1);
+
More information about the Pkg-jed-commit
mailing list