programs.waveterm.enable
Whether to enable waveterm.
Type: boolean
Default:
false
Example:
true
Declared by:
programs.waveterm.package
The waveterm package to use.
Type: null or package
Default:
pkgs.waveterm
Declared by:
programs.waveterm.bookmarks
Bookmark definitions for WaveTerm. Details about the format and the options can be found here: https://docs.waveterm.dev/config#webbookmarks-configuration.
Type: JSON value
Default:
{ }
Example:
{
"bookmark@claude" = {
title = "Claude";
url = "https://claude.ai";
};
"bookmark@github" = {
title = "GitHub";
url = "https://github.com";
};
"bookmark@google" = {
title = "Google";
url = "https://www.google.com";
};
}
Declared by:
programs.waveterm.settings
Configuration settings for WaveTerm. All available options can be found here: https://docs.waveterm.dev/config#configuration-keys.
Type: JSON value
Default:
{ }
Example:
{
"app:dismissarchitecturewarning" = false;
"autoupdate:enabled" = false;
"term:fontfamily" = "JuliaMono";
"term:fontsize" = 12.0;
"term:theme" = "my-custom-theme";
"term:transparency" = 0.5;
"window:bgcolor" = "#000000";
"window:blur" = true;
"window:opacity" = 0.5;
"window:reducedmotion" = true;
"window:showhelp" = false;
}
Declared by:
programs.waveterm.themes
User defined terminal themes. All the details about available options and format can be found here: https://docs.waveterm.dev/config#terminal-theming.
Type: JSON value
Default:
{ }
Example:
{
default-dark = {
background = "#00000077";
black = "#757575";
blue = "#85aacb";
brightBlack = "#727272";
brightBlue = "#9ab6cb";
brightCyan = "#b7b8cb";
brightGreen = "#a3dd97";
brightMagenta = "#cc8ecb";
brightRed = "#cc9d97";
brightWhite = "#f0f0f0";
brightYellow = "#cbcaaa";
cmdtext = "#f0f0f0";
cursorAccent = "";
cyan = "#74a7cb";
"display:name" = "Default Dark";
"display:order" = 1;
foreground = "#c1c1c1";
gray = "#8b918a";
green = "#76c266";
magenta = "#cc72ca";
red = "#cc685c";
selectionBackground = "";
white = "#c1c1c1";
yellow = "#cbca9b";
};
}
Declared by: