diff --git a/options.xhtml b/options.xhtml index 1fb032a4a..d51d0f0ee 100644 --- a/options.xhtml +++ b/options.xhtml @@ -64659,6 +64659,193 @@ attribute set of section of an INI file (attrs of INI atom (null, bool, int, flo +
programs.waveterm.enable
+
+
+Whether to enable waveterm.
+ +Type: +boolean
+ +Default:
+false
Example:
+true
Declared by:
+
+
+<home-manager/modules/programs/waveterm.nix>
+
+ |
programs.waveterm.package
+
+
+The waveterm package to use.
+ +Type: +null or package
+ +Default:
+pkgs.waveterm
Declared by:
+
+
+<home-manager/modules/programs/waveterm.nix>
+
+ |
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:
+
+
+<home-manager/modules/programs/waveterm.nix>
+
+ |
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:
+
+
+<home-manager/modules/programs/waveterm.nix>
+
+ |
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:
+
+
+<home-manager/modules/programs/waveterm.nix>
+
+ |
programs.waybar.enable