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

Jörg Sommer joerg at alea.gnuu.de
Wed Sep 21 18:37:11 UTC 2005


Guenter Milde schrieb am Tue 20. Sep, 14:44 (+0000):
> Modified: trunk/packages/jed/debian/init.d/05jed-common.sl
> ===================================================================
> -public define register_libdir(lib)
> -{

OK. This might solve our problems and the longer I think about it the
better I find this idea. Maybe it's really the best idea to move this
decision to users or admins side.

> -% Jed_Home_Directory is defined in site.sl, defaulting to $HOME
> -% If Jed_Home_Directory/.jed/ exists, point Jed_Home_Directory there,
> +% 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
>  $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 nonexistent, Jed_Home_Library+"/jed.rc" will be tried)
> -   $2 = path_concat(Jed_Home_Directory, ".jedrc");
>     if ( 1 == file_status($2) )
>       Default_Jedrc_Startup_File = $2;
> -
> -   Jed_Home_Directory = $1;
> -
> -   % jed library path
> -   set_jed_library_path($1 + "," + get_jed_library_path());
> -
> -   % colors
> -   $2 = path_concat($1, "colors");
> -   if ( 2 == file_status($2) )
> -     Color_Scheme_Path = $2 + "," + Color_Scheme_Path;
> -
> -   % documentation
> -   $2 = path_concat($1, "libfuns.txt");
> -   if ( 1 == file_status($2) )
> -     Jed_Doc_Files = $2 + "," + Jed_Doc_Files;
> -
> -   % dfa cache
> -#ifdef HAS_DFA_SYNTAX
> -   $2 = path_concat($1, "dfa");
> -   if ( 2 != file_status($2) )
> -     $2 = $1;
> -   Jed_Highlight_Cache_Dir = $2;
> -   Jed_Highlight_Cache_Path += "," + $2;
> -#endif

But why did you drop all the home stuff?

If we do not support registering of libdirs anymore, do we need
/etc/jed.d/? IMO we can go back to /etc/jed.conf, put all the stuff from
05jed-common.sl there and remove /etc/jed.d/.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 481 bytes
Desc: not available
Url : http://lists.alioth.debian.org/pipermail/pkg-jed-devel/attachments/20050921/b07c1021/attachment.pgp


More information about the Pkg-jed-devel mailing list