Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

programs.gnome-terminal.enable

Whether to enable Gnome Terminal.

Type: boolean

Default:

false

Example:

true

Declared by:

programs.gnome-terminal.package

The gnome-terminal package to use.

Type: null or package

Default:

pkgs.gnome-terminal

Declared by:

programs.gnome-terminal.profile

A set of Gnome Terminal profiles. Note, the name of a profile must be a UUID. You can generate one, for example, using uuidgen (from util-linux).

Type: attribute set of (submodule)

Default:

{ }

Declared by:

programs.gnome-terminal.profile.<name>.allowBold

If true, allow applications in the terminal to make text boldface.

Type: null or boolean

Default:

null

Declared by:

programs.gnome-terminal.profile.<name>.audibleBell

Turn on/off the terminal’s bell.

Type: boolean

Default:

true

Declared by:

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.

Type: one of “auto”, “ascii-backspace”, “ascii-delete”, “delete-sequence”, “tty”

Default:

"ascii-delete"

Declared by:

programs.gnome-terminal.profile.<name>.boldIsBright

Whether bold text is shown in bright colors.

Type: null or boolean

Default:

null

Declared by:

programs.gnome-terminal.profile.<name>.colors

The terminal colors, null to use system default.

Type: null or (submodule)

Default:

null

Declared by:

programs.gnome-terminal.profile.<name>.colors.backgroundColor

The background color.

Type: string

Declared by:

programs.gnome-terminal.profile.<name>.colors.boldColor

The bold color, null to use same as foreground.

Type: null or string

Default:

null

Declared by:

programs.gnome-terminal.profile.<name>.colors.cursor

The color for the terminal cursor.

Type: null or (submodule)

Default:

null

Declared by:

programs.gnome-terminal.profile.<name>.colors.cursor.background

The background color.

Type: string

Declared by:

programs.gnome-terminal.profile.<name>.colors.cursor.foreground

The foreground color.

Type: string

Declared by:

programs.gnome-terminal.profile.<name>.colors.foregroundColor

The foreground color.

Type: string

Declared by:

programs.gnome-terminal.profile.<name>.colors.highlight

The colors for the terminal’s highlighted area.

Type: null or (submodule)

Default:

null

Declared by:

programs.gnome-terminal.profile.<name>.colors.highlight.background

The background color.

Type: string

Declared by:

programs.gnome-terminal.profile.<name>.colors.highlight.foreground

The foreground color.

Type: string

Declared by:

programs.gnome-terminal.profile.<name>.colors.palette

The terminal palette.

Type: list of string

Default:

[ ]

Declared by:

programs.gnome-terminal.profile.<name>.cursorBlinkMode

The cursor blink mode.

Type: one of “system”, “on”, “off”

Default:

"system"

Declared by:

programs.gnome-terminal.profile.<name>.cursorShape

The cursor shape.

Type: one of “block”, “ibeam”, “underline”

Default:

"block"

Declared by:

programs.gnome-terminal.profile.<name>.customCommand

The command to use to start the shell, or null for default shell.

Type: null or string

Default:

null

Declared by:

programs.gnome-terminal.profile.<name>.default

Whether this should be the default profile.

Type: boolean

Default:

false

Declared by:

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.

Type: one of “auto”, “ascii-backspace”, “ascii-delete”, “delete-sequence”, “tty”

Default:

"delete-sequence"

Declared by:

programs.gnome-terminal.profile.<name>.font

The font name, null to use system default.

Type: null or string

Default:

null

Declared by:

programs.gnome-terminal.profile.<name>.loginShell

Run command as a login shell.

Type: boolean

Default:

false

Declared by:

programs.gnome-terminal.profile.<name>.scrollOnOutput

Whether to scroll when output is written.

Type: boolean

Default:

true

Declared by:

programs.gnome-terminal.profile.<name>.scrollbackLines

The number of scrollback lines to keep, null for infinite.

Type: null or signed integer

Default:

10000

Declared by:

programs.gnome-terminal.profile.<name>.showScrollbar

Whether the scroll bar should be visible.

Type: boolean

Default:

true

Declared by:

programs.gnome-terminal.profile.<name>.transparencyPercent

Background transparency in percent.

Type: null or integer between 0 and 100 (both inclusive)

Default:

null

Declared by:

programs.gnome-terminal.profile.<name>.visibleName

The profile name.

Type: string

Declared by:

programs.gnome-terminal.showMenubar

Whether to show the menubar by default

Type: boolean

Default:

true

Declared by:

programs.gnome-terminal.themeVariant

The theme variation to request

Type: one of “default”, “light”, “dark”, “system”

Default:

"default"

Declared by: