17.1 Command Line Options

     Usage:
        gps [options] [-Pproject-file] [[+line] source1] [[+line] source2] ...
     Options:
        --help              Show this help message and exit
        --version           Show the GPS version and exit
        --debug[=program]   Start a debug session and optionally load the
                            program with the given arguments
        --debugger debugger Specify the debugger's command line
        --hide              Hide GPS main window
        --host=tools_host   Use tools_host to launch tools (e.g. gdb)
        --target=TARG:PRO   Load program on machine TARG using protocol PRO
        --load=lang:file    Execute an external file written in the
                            language lang
        --eval=lang:file    Execute an in-line script written in the
                            language lang
        --readonly          Open all files in read-only mode
        --server=port       Start GPS in server mode, opening a socket on the
                            given port
        --tracelist         Output the current configuration for logs
        --traceon=name      Activate the logs for a given module
        --traceoff=name     Deactivate the logs for a given module
        --tracefile=file    Parse an alternate configuration file for the logs
     
     Source files can be absolute or relative pathnames.
     If you prepend a file name with '=', this file will be
     searched anywhere on the project's source path
     
     To open a file at a given line, use the '+line' prefix, e.g.
     gps +40 source.adb
     
     tools_host corresponds to a remote host's nickname as defined in
     Setup the remote servers.