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).

Declarations

Type

attribute set of (submodule)

Default

{ }