aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
diff options
context:
space:
mode:
authorRobin Haberkorn <robin.haberkorn@googlemail.com>2015-03-10 23:23:46 +0100
committerRobin Haberkorn <robin.haberkorn@googlemail.com>2015-03-10 23:23:46 +0100
commit20cb9a7d13ed36593432509ac0215b21c54d6657 (patch)
tree6d1bf3452a6ff92533792fd8640f519942e9e6a5 /doc
parent112600774798e53e2ffbab6e0bbbc6fe625bf88b (diff)
downloadsciteco-20cb9a7d13ed36593432509ac0215b21c54d6657.tar.gz
added --no-profile command line option
Diffstat (limited to 'doc')
-rw-r--r--doc/sciteco.1.in12
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/sciteco.1.in b/doc/sciteco.1.in
index 16df9c4..2949f76 100644
--- a/doc/sciteco.1.in
+++ b/doc/sciteco.1.in
@@ -17,6 +17,7 @@ Scintilla-based \fBT\fPext \fBE\fPditor and \fBCO\fPrrector
.OP \-h|\-\-help
.OP \-e|\-\-eval macro
.OP \-m|\-\-mung file
+.OP \-\-no\-profile
.OP \-\-
.RI [ argument
.IR .\|.\|. ]
@@ -104,6 +105,9 @@ The profile will usually set up various Scintilla and \*(ST options,
configure syntax highlighting,
define commonly used macros and open files specified as arguments to \*(ST.
It will usually leave the editor in interactive mode.
+Profile execution can be suppressed with the
+.B \-\-no\-profile
+option.
.
.
.SH OPTIONS
@@ -122,6 +126,14 @@ option has no effect.
Mung \fIfile\fP.
Default is
.IR $SCITECOCONFIG/.teco_ini .
+.IP "\fB--no-profile\fP"
+Do not mung any profile.
+This leaves the editor in interactive mode with default
+settings just as if no profile existed or like when
+munging an empty file.
+This is useful to fix up a broken profile script.
+This option has no effect when a file is explicitly munged with
+.BR \-\-mung .
.
.
.SH EXIT STATUS