[Next][Prev] [Right] [Left] [Up] [Index] [Root]

ENVIRONMENT AND OPTIONS

 
Introduction
 
Command Line Options
 
Environment Variables
 
Set and Get
 
Verbose Levels
 
Other Information Procedures
 
History
 
The Magma Line Editor
      Key Bindings (Emacs and VI mode)
      Key Bindings in Emacs mode only
      Key Bindings in VI mode only
 
The Magma Help System
 
Bibliography







DETAILS

 
Introduction

 
Command Line Options
      magma -b
      magma -c filename
      magma -d
      magma -n
      magma -r workspace
      magma -s filename
      magma -S integer
      Example Env_Startup (H4E1)

 
Environment Variables
      MAGMA_STARTUP_FILE
      MAGMA_PATH
      MAGMA_MEMORY_LIMIT
      MAGMA_LIBRARY_ROOT
      MAGMA_LIBRARIES
      MAGMA_SYSTEM_SPEC
      MAGMA_USER_SPEC
      MAGMA_HELP_DIR

 
Set and Get
      SetAssertions(b) : BoolElt ->
      SetAutoColumns(b) : BoolElt ->
      SetAutoCompact(b) : BoolElt ->
      SetBeep(b) : BoolElt ->
      SetColumns(n) : RngIntElt ->
      GetCurrentDirectory() : ->
      SetEchoInput(b) : BoolElt ->
      SetHistorySize(n) : RngIntElt ->
      SetIgnorePrompt(b) : BoolElt ->
      SetIgnoreSpaces(b) : BoolElt ->
      SetIndent(n) : RngIntElt ->
      SetLibraries(s) : MonStgElt ->
      SetLibraryRoot(s) : MonStgElt ->
      SetLineEditor(b) : BoolElt ->
      SetLogFile(F) : MonStgElt ->
      SetMemoryLimit(n) : RngIntElt ->
      SetOutputFile(F) : MonStgElt ->
      SetPath(s) : MonStgElt ->
      SetPrintLevel(l) : MonStgElt ->
      SetPrompt(s) : MonStgElt ->
      SetQuitOnError(b) : BoolElt ->
      SetRows(n) : RngIntElt ->
      SetTraceback(n) : BoolElt ->
      SetSeed(s, c) : RngIntElt ->
      GetVersion() : -> RngIntElt, RngIntElt, RngIntElt
      SetViMode(b) : BoolElt ->

 
Verbose Levels
      SetVerbose(s, i) : MonStgElt, RngIntElt ->
      GetVerbose(s) : MonStgElt -> RngIntElt
      IsVerbose(s) : MonStgElt -> BoolElt
      IsVerbose(s, l) : MonStgElt, RngIntElt -> BoolElt
      ListVerbose() : ->
      ClearVerbose() : ->

 
Other Information Procedures
      ShowMemoryUsage() : ->
      ShowIdentifiers() : ->
      ShowValues() : ->
      Traceback() : ->
      ListSignatures(C) : Cat ->
      ListCategories() : ->

 
History
      %p
      %pn
      %Pn
      %sn
      %Sn
      %n
      %n_1 n_2
      %e
      %en
      %en_1 n_2
      %! shell-command

 
The Magma Line Editor

      Key Bindings (Emacs and VI mode)
            <Return>
            <Backspace>
            <Tab>
            <Ctrl>-A
            <Ctrl>-B
            <Ctrl>-C
            <Ctrl>-D
            <Ctrl>-E
            <Ctrl>-F
            <Ctrl>-H
            <Ctrl>-I
            <Ctrl>-J
            <Ctrl>-K
            <Ctrl>-L
            <Ctrl>-M
            <Ctrl>-N
            <Ctrl>-P
            <Ctrl>-U
            <Ctrl>-V<char>
            <Ctrl>-W
            <Ctrl>-X
            <Ctrl>-Y
            <Ctrl>-Z
            <Ctrl>-_
            <Ctrl>-\

      Key Bindings in Emacs mode only
            <Meta>-b
            <Meta>-f

      Key Bindings in VI mode only
            0
            $
            <Ctrl>- space
            %
            ;
            ,
            B
            b
            E
            e
            F<char>
            f<char>
            h
            l
            T<char>
            t<char>
            w
            W
            A
            a
            C
            c range
            D
            d range
            I
            i
            j
            k
            P
            p
            R
            r<char>
            S
            s
            U
            X
            x
            Y
            y range

 
The Magma Help System
      SetHelpExternalBrowser(S, T) : MonStgElt, MonStgElt ->
      SetHelpUseExternalBrowser(b) : BoolElt ->
      SetHelpExternalSystem(s) : MonStgElt ->
      SetHelpUseExternalSystem(b) : BoolElt ->
      GetHelpExternalBrowser() : -> MonStgElt, MonStgElt
      GetHelpExternalSystem() : -> MonStgElt
      GetHelpUseExternal() : -> BoolElt, BoolElt

 
Bibliography