1JEDIT(1) jEdit - Programmer's Text Editor JEDIT(1)
2
3
4
6 jEdit - Programmer's Text Editor written in Java
7
8
10 jedit [ options ] [ files ]
11
12
14 This manual page briefly documents jEdit's command-line parameters.
15 Complete documentation can be found by invoking the Help->jEdit Help
16 menu item within jEdit or by invoking jedit -usage.
17
18 jEdit is a cross-platform text editor written in Java. It has an ex‐
19 tensive feature set that includes syntax highlighting, auto indent,
20 folding, word wrap, abbreviation expansion, multiple clipboards, power‐
21 ful search and replace and much more.
22
23 Furthermore, jEdit is extremely customizable, and extensible, using ei‐
24 ther macros written in the BeanShell scripting language, or plugins
25 written in Java. With plugins, you can create a very powerful develop‐
26 ment environment for HTML, XML, C/C++, Python, Perl, Ruby, Lisp,
27 Scheme, and many others.
28
29 jEdit Requires A Java Runtime Environment Version 11 or later.
30
31 jEdit is released under the GNU General Public License, which can be
32 found in the online help.
33
35 When opening files from the command line, a line number or marker to
36 position the caret on can be specified like so:
37
38 $ jedit MyApplet.java +line:10
39
40 $ jedit thesis.tex +marker:c
41
42 Command-line switches begin with a "-". Some take a parameter. A file
43 whose name begins with "-" can be opened like so:
44
45 $ jedit -- -myfile
46
47
49 -log=level
50 Set the minimum log level to an integer between 1 and 9. Default
51 is 7. Has no effect when connecting to another instance via the
52 edit server.
53
54 -usage Show a brief command line usage message without starting jEdit.
55 This message is also shown if an invalid switch was specified.
56
57 -version
58 Show the version number without starting jEdit.
59
60 -- Specifies the end of command-line processing. Further parameters
61 are treated as file names, even if they begin with a dash.
62
63
65 -plugins
66 Enable loading of plugins. This is the default. Has no effect
67 when connecting to another instance via the edit server.
68
69 -noplugins
70 Disable loading of plugins. Has no effect when connecting to an‐
71 other instance via the edit server.
72
73 -restore
74 Restore previously open files on startup. This is the default.
75
76 -norestore
77 Do not restore previously open files on startup.
78
79 -run=script
80 Run the specified BeanShell script. There can only be one of
81 these parameters on the command line.
82
83 -settings=dir
84 Store user-specific settings in the directory named "dir", in‐
85 stead of the default $HOME/.jedit. The directory will be created
86 automatically if it does not exist. Has no effect when connect‐
87 ing to another instance via the edit server.
88
89 -nosettings
90 Start jEdit without loading user-specific settings.
91
92 -startupscripts
93 Run startup scripts. This is the default. Has no effect when
94 connecting to another instance via the edit server.
95
96 -nostartupscripts
97 Disable startup scripts. Has no effect when connecting to an‐
98 other instance via the edit server.
99
100
102 For information about the edit server, see the section "Starting jEdit"
103 in the jEdit online help.
104
105
106 -background
107 Run jEdit in background mode. In background mode, the edit
108 server will continue listening for client connections even after
109 all views are closed. Has no effect when connecting to another
110 instance via the edit server.
111
112 -nobackground
113 Disable background mode. This is the default. Has no effect when
114 connecting to another instance via the edit server.
115
116 -gui Open an initial view. This is the default. Has no effect when
117 connecting to another instance via the edit server.
118
119 -nogui Do not open an initial view, and instead only open one when the
120 first client connects. Can only be used in combination with the
121 -background switch. You can use this switch to "pre-load" jEdit
122 when you log in to your computer, for example. Has no effect
123 when connecting to another instance via the edit server.
124
125 -server
126 Store the server port info in the file named "server" inside the
127 settings directory. This is the default.
128
129 -server=name
130 Store the server port info in the file named "name". File names
131 for this parameter are relative to the settings directory.
132
133 -noserver
134 Do not attempt to connect to a running edit server, and does not
135 start one either.
136
137
139 ~/.jedit
140 Each user who runs jEdit has a settings directory. Its content
141 is documented in the "Customizing jEdit" section of the online
142 help.
143
144
146 java(1)
147
148
150 jEdit 5.6.0
151
152
154 See http://www.jEdit.org/index.php?page=feedback for bug reporting in‐
155 formation.
156
157
159 http://www.jEdit.org/
160
161
162
163jEdit October 25, 2010 JEDIT(1)