Synopsis:
poke [option...] [file]
The following options are available.
Load the given file as a Poke program. Any number of ‘-l’ options can be specified, and they are loaded in the given order.
Load the given file as a Poke program and exit. The rest of the
command-line is not processed by poke, and is available to the Poke
script in the argv
variable. This is commonly used along with
a shebang (see Scripts) to implement Poke scripts.
Commanding poke from the command line:
Execute the given command. Any number of ‘-c’ options can be specified, and they are executed in the given order.
Load file as a command file. Any number of ‘-s’ options may be specified, and they are loaded in the given order. See Command Files.
Styling text output:
Whether to use styled output, and how. Valid options for how are ‘yes’, ‘no’, ‘auto’, ‘html’ and ‘test’.
Use the default style that works better for dark backgrounds. This is the default.
Use the default style that works better for bright backgrounds.
Use file as the CSS to use for styling poke, instead of the default style.
Other options:
-q
--no-init-file
--no-auto-map
Do not load map-files automatically when poke opens IO spaces.
--no-hserver
Do not run the terminal hyperlinks server.
--no-stdtypes
Do not define standard Poke types (such as int
, char
,
etc) in the Poke incremental compiler.
--quiet
Be as terse as possible.
--help
Print a help message and exit.
--version
Show version and exit.
The following environment variables, if set, are used by poke:
POKE_LOAD_PATH
List of file paths separated by the colon characters (:
) which
is prepended to the load_path
when poke starts.