[Pkg-jed-commit] r108 - trunk/packages/jed/debian

[Guenter Milde]

Author: milde-guest
Date: 2005-10-28 15:24:17 +0000 (Fri, 28 Oct 2005)
New Revision: 108

Added:
   trunk/packages/jed/debian/defaults.sl
Modified:
   trunk/packages/jed/debian/changelog
Log:
added a default.sl to replace the site.sl dpatch


Modified: trunk/packages/jed/debian/changelog
===================================================================
--- trunk/packages/jed/debian/changelog	2005-10-12 13:32:27 UTC (rev 107)
+++ trunk/packages/jed/debian/changelog	2005-10-28 15:24:17 UTC (rev 108)
@@ -23,7 +23,7 @@
     will no longer search for ~/.jedrc at startup. Instead it expects the
     config file in ~/.jed/ (which will become the `Jed_Home_Directory').
     
-    If a user creates a "~/.jed/" directory, he/she must move ~/.jedrc to
+    If a user creates a "~/.jed/" directory, he|she must move ~/.jedrc to
     ~/.jed/jed.rc (~/.jed/.jedrc is still found but deprecated).
   
  --

Added: trunk/packages/jed/debian/defaults.sl
===================================================================
--- trunk/packages/jed/debian/defaults.sl	2005-10-12 13:32:27 UTC (rev 107)
+++ trunk/packages/jed/debian/defaults.sl	2005-10-28 15:24:17 UTC (rev 108)
@@ -0,0 +1,31 @@
+% defaults.sl
+% 
+% Evaluate all *.sl files in /etc/jed.d/
+%
+% At startup, site.sl looks for the existence of "defaults.sl" and loads
+% it.  This file IS NOT distributed with JED (upstream) but added by the
+% Debian jed package.
+%
+%  Copyright (c) 2005 The Debian Jed Maintainers Group
+%  Released under the terms of the GNU General Public License (ver. 2 or later)
+
+private variable skip;
+
+% do not evaluate if jed is started as jed-script
+skip = (BATCH == 2); 
+
+% enable skipping the startup procecure from the command line with
+% jed --skip-debian-startup
+define skip_debian_startup()
+{
+   skip = 1;
+}
+
+if (not(skip)) { 
+    $1 = listdir("/etc/jed.d/");
+    foreach ( $1[ array_sort($1) ] ) {
+        $1 = ();
+        if ($1[[-3:-1]] == ".sl")
+          () = evalfile("/etc/jed.d/"+$1);
+    }
+}