jEdit Community - Resources for users of the jEdit Text Editor
How to move profile directory ?
Submitted by Anonymous on Tuesday, 15 March, 2005 - 14:58
Is there a way to move jedit's profile directory under windows from "C:\Documents and Settings\username\.jedit" to another location ?
Since the profile space is restricted to 20 MB in our network, I've got to (partially) delete it before I can log off.
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
-settings=dir command line argument
by Anonymous on Thu, 17/03/2005 - 09:11
Hi

Look in the help for the list of command line arguments and you should see a -settings=dir option.

Lee
 
Registry key
by Anonymous on Mon, 01/08/2005 - 08:29
After looking at this excellent tip after having "path not found" problems on an NFS share, here's the registry key you have to change to get the correct command for the context menu in the Explorer:
HKEY_CLASSES_ROOT\*\Shell\Open with jEdit\command
User login
Browse archives
« November 2024  
MoTuWeThFrSaSu
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
 
Poll
Are you interested in language packs for jEdit?
Yes, and I could help maintain translations
26%
Yes, I'd like to have translations
32%
Indifferent
35%
No, that'd be bad (please comment)
7%
Total votes: 1093
Syndication
file   ver   dls
German Localization light   4.4.2.1   101634
Context Free Art (*.cfdg)   0.31   46062
BBEdit scheme   1.0   18601
JBuilder scheme   .001   18502
ColdFusion scheme   1.0   18031
R Edit Mode - extensive version   0.1   17481
Advanced HTML edit mode   1.0   16213
Matlab Edit Mode   1.0   16075
jEdit XP icons   1.0   15236
XP icons for jEdit   1.1   14300