Themes & settings

Themes

theme gruvbox-material

Seven palettes, each with its own colours for the prompt, links, script output, errors and the work and private profile tags:

green default

amber

mono

dracula

solarized

gruvbox

gruvbox-material

The swatch strip shows prompt, link, work, private and error colours. The settings screens follow the terminal theme by default; config set theme.settings-colors system switches them to your wallpaper’s Material You colours instead.

Fonts

font                 # list the fonts; tap one to use it
font jetbrains-mono
font import          # pick your own .ttf / .otf
font sans prompt     # the phone's own font for the prompt (or: all, off)

The terminal font is used everywhere the terminal draws text: the log, prompt, header, suggestions, key bar and the script editor. Choices:

Name	Font
system	the phone’s monospace font
jetbrains-mono	JetBrains Mono (default)
fira-code	Fira Code, with programming ligatures (=>, !=, …)
ibm-plex-mono	IBM Plex Mono
source-code-pro	Source Code Pro
custom	a font file you imported

The bundled fonts ship in Regular and Bold under the SIL Open Font License 1.1 (licence texts are in the app’s assets/licenses/). font import, or the import card in the settings screen’s font previews, copies a .ttf or .otf (up to 10 MB) into the app and switches to custom; importing again replaces it. If the custom font goes missing or can’t be read (for example after restoring a backup on another phone), the terminal falls back to the system monospace and says so once in the log. Text size stays a separate setting: config set font.size 16, or pinch the log.

The phone’s font

new The terminal can use the phone’s own font (the one Android and its apps use, including a font style you picked in the phone’s settings) instead of a monospace one, at two levels:

font.sans	What changes
off (default)	nothing: everything uses the terminal font
prompt	the prompt line, where you type
all	all of the terminal: the log, header, suggestions, key bar and prompt

Set it with font sans prompt (or all, off), or under Settings → Look & feel → Terminal. With all, a few things stay in the terminal font, because they only line up in a monospace one: lists that line up columns (unlocks, todo, notes, reminders, agenda, toggles, font, script cat) and the script editor. Wrapped lines and the dimmed lines under an entry still line up with the text above them.

Settings screen

settings (or config with no arguments, or ⚙ in the header) opens a Material 3 screen with grouped lists: switches, connected button groups, sliders and theme preview cards. A search box at the top finds any setting. The pages:

• Look & feel: theme, font, the phone’s font, text size, full screen, settings colours.
• Home screen: clock, header items, widgets.
• Log: times, dimming, spacing, line height, how long to keep the log.
• Feeds: feed lines in the log, read / unread, refreshing.
• Typing: suggestions, the app selector, the key bar, the prompt and the keyboard.
• Launching & search: instant launch, Enter, search engine.
• Gestures: the three gestures.

Below them are the managers (scripts, feeds, widgets, the setup checklist) and backup export and import.

A changed setting shows a reset icon (↺) right after its name: tap it to go back to the default. A switch is reset by switching it back.

Seeing home while you change it

Settings that change how home looks show home while you change them, like the brightness slider in the quick settings:

• Drag a slider for text size, line height, log spacing, key bar or prompt height, suggestions, chip height, or the app selector or widget height: Settings fades away except that slider, and home shows underneath at the value under your finger. Let go to save it and bring Settings back. The typing ones show home as if you were typing, with suggestions (and the key bar, if it is on).
• Hold the eye (👁) at the top of Look & feel, Home screen, Log and Typing to see home with your settings as they are; let go to come back.

Home is only shown there: it takes no touches.

The config command

Everything on the settings screen is a config key, also settable from the prompt (the full list is in the configuration reference):

config ls                    # every key with its value; * marks changed ones; tap a line to edit it
config get font.size
config set font.size 16      # 'set font.size 16' and 'config font.size 16' work too
config reset font.size
config reset all

Booleans take on/off (also true/false, yes/no, 1/0). Numbers have a range and choices a fixed list; an invalid value prints what is allowed. While you type config set, suggestions offer keys and then valid values.