jed-users mailing list

[2007 Date Index] [2007 Thread Index] [Other years]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]

Re: HOME on Windows


On  5.06.07, Marko Mahnic wrote:

> Many FOSS programs put their settings in %USERPROFILE%
> in a subdirectory that starts with a dot:

>   %USERPROFILE%/.gimp-2.2
>   %USERPROFILE%/.netbeans
>   ...

> I wonder if jed could do the same: .jedrc could be
> a directory instead of a file.

I would suggest

    %USERPROFILE%/.jed/
    %USERPROFILE%/.jed/jed.rc
    
with `Jed_Home_Directory' == "%USERPROFILE%/.jed".

This would match nicely with the default settings in Debian

  `Jed_Home_Directory' == "$HOME/.jed"$
  `Default_Jedrc_Startup_File' == "$HOME/.jed/jed.rc"$

The "app-dir" could be used for private additions like

   %USERPROFILE%/.jed/.jedrecent
   %USERPROFILE%/.jed/lib
   %USERPROFILE%/.jed/templates

Guenter

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.


[2007 date index] [2007 thread index]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]