programs.waveterm.bookmarks

Home-Manager option

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 in: <home-manager/modules/programs/waveterm.nix>source unavailable