From 30666cd636a8fa0c73ba9960e36d48407028f1c3 Mon Sep 17 00:00:00 2001 From: khaneliman Date: Fri, 9 May 2025 13:18:35 +0000 Subject: [PATCH] deploy: 8d2ee39915119dead6b794f7d2b63d6a1554941d --- options.xhtml | 187 ++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 187 insertions(+) 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