[Pkg-jed-commit] r94 - trunk/packages/jed/debian/init.d

[Guenter Milde]

Author: milde-guest
Date: 2005-10-04 06:35:59 +0000 (Tue, 04 Oct 2005)
New Revision: 94

Modified:
   trunk/packages/jed/debian/init.d/05jed-common.sl
Log:
Support for ~/.jed/jed.rc config file


Modified: trunk/packages/jed/debian/init.d/05jed-common.sl
===================================================================
--- trunk/packages/jed/debian/init.d/05jed-common.sl	2005-09-30 16:16:56 UTC (rev 93)
+++ trunk/packages/jed/debian/init.d/05jed-common.sl	2005-10-04 06:35:59 UTC (rev 94)
@@ -17,12 +17,10 @@
 % Jed_Home_Directory (defined in site.sl, defaulting to $HOME)
 % 
 % If a subdir .jed/ exists, point Jed_Home_Directory there, 
-% so .jedrc and .jedrecent are not spoiling the $HOME dir
+% so .jedrc and .jedrecent are not spoiling the $HOME dir (FHS 2.3)
 $1 = path_concat(Jed_Home_Directory, ".jed");
-$2 = path_concat(Jed_Home_Directory, ".jedrc");
 if ( 2 == file_status($1) ) {
    Jed_Home_Directory = $1;
-   % backwards compatibility of jedrc-location 
-   if ( 1 == file_status($2) )
-     Default_Jedrc_Startup_File = $2;
+   % allow non-dotted jed rc file
+   Default_Jedrc_Startup_File = path_concat(Jed_Home_Directory, "jed.rc");
 }