blob: 5d6e210c2deb2d82eb1f904a8366c1c3b368438a (
plain)
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
31
32
33
34
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="CONTENT-TYPE" CONTENT="text/html; charset=iso-8859-1">
<META key="author" CONTENT="Sylvain Reynal">
<TITLE>jPicEdt 1.3.2 Help Content </TITLE>
</HEAD>
<BODY BGCOLOR="#ffffff">
<H2>Command line</H2>
The command line accepts the following arguments :
<UL>
<LI><CODE>-redir=standard</CODE>:
redirect standard error stream (System.err) to the console
</LI>
<LI><CODE>-redir=file</CODE>
(default): redirect standard error stream to a file named
<CODE>error.log</CODE> and located in jPicEdt's user-settings
directory, for instance
<b>/home/user/.jpicedt/error.log</b> on Unix. You can view this file by
clicking on "View Error Log" in the Help menu.
</LI>
<LI>A list of space-separated file names to be loaded on start-up.
</LI>
</UL>
<P>Example of use :</P>
<P><CODE>jpicedt -redir=standard picture1.tex picture2.tex</CODE>
(where <b>jpicedt</b> denotes the name of the start-up script).
</P>
</BODY>
</HTML>
|