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-mapDo not load map-files automatically when poke opens IO spaces.
--no-hserverDo not run the terminal hyperlinks server.
--no-stdtypesDo not define standard Poke types (such as int, char,
etc) in the Poke incremental compiler.
--quietBe as terse as possible.
--helpPrint a help message and exit.
--versionShow version and exit.
The following environment variables, if set, are used by poke:
POKE_LOAD_PATHList of file paths separated by the colon characters (:) which
is prepended to the load_path when poke starts.