diff options
Diffstat (limited to 'doc/mdk_mixvm.texi')
| -rw-r--r-- | doc/mdk_mixvm.texi | 29 |
1 files changed, 23 insertions, 6 deletions
diff --git a/doc/mdk_mixvm.texi b/doc/mdk_mixvm.texi index 2eae874..7992567 100644 --- a/doc/mdk_mixvm.texi +++ b/doc/mdk_mixvm.texi @@ -1,10 +1,10 @@ @c -*-texinfo-*- @c This is part of the GNU MDK Reference Manual. -@c Copyright (C) 2000, 2001 +@c Copyright (C) 2000, 2001, 2002 @c Free Software Foundation, Inc. @c See the file mdk.texi for copying conditions. -@c $Id: mdk_mixvm.texi,v 1.10 2001/09/26 23:15:55 jao Exp $ +@c $Id: mdk_mixvm.texi,v 1.11 2002/04/08 00:26:37 jao Exp $ @node mixvm, gmixvm, mixasm, Top @comment node-name, next, previous, up @@ -37,8 +37,8 @@ setting to aid you in debugging your code. For a tutorial description of for each available single letter switch): @example -mixvm [-vhurdq] [--version] [--help] [--usage] [--run] [--dump] - [--noinit] [FILE[.mix]] +mixvm [-vhurdtq] [--version] [--help] [--usage] [--run] [--dump] + [--time] [--noinit] [FILE[.mix]] @end example @noindent @@ -73,6 +73,13 @@ comparison flag and overflow toggle after executing the program named @var{FILE}. See @xref{Non-interactive mode}, for sample usage. @end defopt +@defopt -t +@defoptx --time +This option must be used in conjuction with @code{-r}, and tells +@code{mixvm} to print virtual time statistics for the program's +execution. +@end defopt + When run without the @code{-r} flag, @code{mixvm} enters its interactive mode, showing you a prompt like this one: @@ -107,7 +114,8 @@ startup. You can enter the interactive mode of the MIX virtual machine by simply invoking @code{mixvm} without arguments. You will then presented a shell -prompt +prompt@footnote{The default command prompt, @samp{MIX > }, can be +changed using the @code{prompt} command (@pxref{Configuration commands})} @example MIX > @@ -142,7 +150,7 @@ all available commands. * File commands:: Loading and executing programs. * Debug commands:: Debugging programs. * State commands:: Inspecting the virtual machine state. -* Configuration commands:: Storing mixvm settings. +* Configuration commands:: Changing and storing mixvm settings. * Scheme commands:: @end menu @@ -712,6 +720,15 @@ specify an alternative location for storing these device files, while @code{pddir} prints the current device directory. @end deffn +Finally, you can change the default command prompt, @samp{MIX > }, +using the @code{prompt} command: + +@deffn {config command} prompt PROMPT +Changes the command prompt to @var{prompt}. If you want to include +white space(s) at the end of the new prompt, bracket @var{prompt} using +double quotes (e.g., @code{prompt ">> "}). +@end deffn + @node Scheme commands, , Configuration commands, Commands @subsection Scheme commands |