Skip to content
This repository has been archived by the owner on Oct 22, 2021. It is now read-only.

settings.json

Git² edited this page Jan 4, 2018 · 29 revisions

The settings.json file stores all your parameters. This file is located in userData/settings.json. Listed below are the accepted key/value pairs and what they affect.

Key Expected value Default value Description
shell (any CLI application) bash or powershell.exe The program to run in the "main shell" window.
cwd (a directory path) userData The Current Working Directory in which the shell program will be started.
keyboard (a keyboard layout code) en-US Which keyboard layout to use.
theme (a theme name) tron Which theme to load.
port (a valid port number) 3000 The port to use for the websocket connection between your shell and the UI.
Clone this wiki locally