Skip to content

Settings

R. Bernstein edited this page Nov 17, 2020 · 5 revisions

Inside the REPL (Read-Eval-Print-Loop) there are a number of variables in the Settings context that you changes how the REPL works.

You can get a list of these by showing them using the Names[] function:

In[1]= Names["Settings`.*"]
Out[1]= {$PygmentsStyle, $ShowFullForm}

Some are described below

Settings`$PygmentsStyle

This sets the Pygments style used to colorize output. The default changes background depending on whether a light or dark background was set. You can also set the color style used on the command with the --style option. Or it can be set in a settings file

Settings`$ShowFullForm

Setting this to True will show the parsed FullForm _input_. Note this is _input_ not _output_. For changing output use end the input with \FullForm or use wrap everything in a FullForm[] call.

From the command line you can set this using option --full-form. The default is False, or no full-form parsed input.

Clone this wiki locally