Menu

#2481 Name of config dir (.jEdit) is bad on windows

normal bug
closed
nobody
4
2007-02-28
2005-11-07
Geron
No

- I just installed jEdit 4.2 on a Windows NT machine as
an Administrator on the machine.
- I then closed the Windows session and logged on again
on this same machine as a regular user in an NT Domain.
- Everything went fine during the session itself, jEdit
worked fine.

- But when I closed the session I got an error message
from windows NT saying that it could not copy the
directory .jEdit back to the NT Domain => NT Domain
users cannot save their jEdit settings and they get a
warning every time they log off !

Apparently, the problem comes from the fact that the
name of that directory starts with a dot (.) and
windows does not like that. Of course you could say
that it's a Windows issue, not a jEdit bug, but using a
file name starting with a dot on Windows is forbidden
(or at least strongly not recommended) so jEdit should
not do this.

Is there a workaround to my problem ? Any solution ?
If not, I will unfortunately have to uninstall jEdit
because I cannot afford having my users get warning
messages every time they log off.

Discussion

  • Björn Kautler

    Björn Kautler - 2005-11-08

    Logged In: YES
    user_id=918212

    It is not forbidden on "Windows" maybe on "Windows NT" or
    even only with the settings you have. For me it works fine
    on "Windows XP". But yes, there is a possibility for you,
    but I tend to say: RTFM
    Especially the part about command-line arguments. ;-)

     
  • Aaron Hamid

    Aaron Hamid - 2005-11-08

    Logged In: YES
    user_id=1290

    I have been using jEdit on Windows for years (2000 and XP)
    and have never had a problem with this. Many programs,
    including Eclipse, use files whose names start with ".". It
    is only the Explorer shell that uses a policy to prohibit
    creating creating these files manually (who knows why...).

     
  • Brad Mace

    Brad Mace - 2006-03-21
    • priority: 5 --> 4
     
  • Brad Mace

    Brad Mace - 2006-03-21

    Logged In: YES
    user_id=370261

    More likely it's a permissions problem when creating a
    .jEdit folder in the person's directory

     
  • Robert Schwenn

    Robert Schwenn - 2007-02-13
    • status: open --> pending
     
  • Robert Schwenn

    Robert Schwenn - 2007-02-13

    Logged In: YES
    user_id=1486645
    Originator: NO

    1. (recommended :-)) You can use another settings directory by specifying it at the command line:
    javaw -jar <path>\jedit.jar "settings=<dir>"

    2. Because Your problem is only the syncronization of the local profile with that stored on the server, It should be possible to specify the .jedit directory not to syncronize with the server.

    BTW: I also have had installed jEdit on a NT-Box with server-based profiles. And I don't remember problems with directory names starting with a dot (.).

     
  • SourceForge Robot

    Logged In: YES
    user_id=1312539
    Originator: NO

    This Tracker item was closed automatically by the system. It was
    previously set to a Pending status, and the original submitter
    did not respond within 14 days (the time period specified by
    the administrator of this Tracker).

     
  • SourceForge Robot

    • status: pending --> closed
     

Log in to post a comment.

MongoDB Logo MongoDB