/usr/share/doc/jed-extra/examples/jed-extra-minimal-revert.rc is in jed-extra 2.5.6-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 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);
|