programs.waveterm.settings
Home-Manager option
Configuration settings for WaveTerm. All available options can be found here: https://docs.waveterm.dev/config#configuration-keys.
type: JSON valueDefault
{ }Example
declared in: <home-manager/modules/programs/waveterm.nix>source unavailable{ "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; }