summaryrefslogtreecommitdiff
path: root/graphics/jpicedt/doc/commandline.html
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>