| programs.gnome-terminal.profile.<name>.font | The font name, null to use system default.
|
| programs.gnome-terminal.profile.<name>.visibleName | The profile name.
|
| programs.gnome-terminal.profile.<name>.colors | The terminal colors, null to use system default.
|
| programs.gnome-terminal.profile.<name>.allowBold | If true, allow applications in the
terminal to make text boldface.
|
| programs.gnome-terminal.profile.<name>.loginShell | Run command as a login shell.
|
| programs.gnome-terminal.profile.<name>.default | Whether this should be the default profile.
|
| programs.gnome-terminal.profile.<name>.cursorShape | The cursor shape.
|
| programs.gnome-terminal.profile.<name>.boldIsBright | Whether bold text is shown in bright colors.
|
| programs.gnome-terminal.profile.<name>.audibleBell | Turn on/off the terminal's bell.
|
| programs.gnome-terminal.profile.<name>.cursorBlinkMode | The cursor blink mode.
|
| programs.gnome-terminal.profile.<name>.scrollOnOutput | Whether to scroll when output is written.
|
| programs.gnome-terminal.profile.<name>.customCommand | The command to use to start the shell, or null for default shell.
|
| programs.gnome-terminal.profile.<name>.showScrollbar | Whether the scroll bar should be visible.
|
| programs.gnome-terminal.profile.<name>.scrollbackLines | The number of scrollback lines to keep, null for infinite.
|
| programs.gnome-terminal.profile.<name>.deleteBinding | Which string the terminal should send to an application when the user
presses the Delete key.
auto
: Send the @7 control sequence.
ascii-backspace
: Send an ASCII backspace character (0x08).
ascii-delete
: Send an ASCII delete character (0x7F).
delete-sequence
: Send the @7 control sequence.
tty
: Send terminal's "erase" setting.
|
| programs.gnome-terminal.profile.<name>.transparencyPercent | Background transparency in percent.
|
| programs.gnome-terminal.profile.<name>.backspaceBinding | Which string the terminal should send to an application when the user
presses the Backspace key.
auto
: Attempt to determine the right value from the terminal's IO settings.
ascii-backspace
: Send an ASCII backspace character (0x08).
ascii-delete
: Send an ASCII delete character (0x7F).
delete-sequence
: Send the @7 control sequence.
tty
: Send terminal's "erase" setting.
|