diff --git a/options.xhtml b/options.xhtml index ee6916c3f..d42e6165b 100644 --- a/options.xhtml +++ b/options.xhtml @@ -25363,6 +25363,61 @@ package

+
+ + programs.jetbrains-remote.enable + + +
+
+

Whether to enable JetBrains remote development system.

+ +

Type: +boolean

+ +

Default: +false

+ +

Example: +true

+ +

Declared by:

+ + +
+ +<home-manager/modules/programs/jetbrains-remote.nix> + +
+
+
+ + programs.jetbrains-remote.ides + + +
+
+

IDEs accessible to the JetBrains remote development system.

+ +

Type: +list of package

+ +

Default: +[ ]

+ +

Example:

with pkgs.jetbrains; [ clion pycharm-professional ];
+
+
+ +

Declared by:

+ + +
+ +<home-manager/modules/programs/jetbrains-remote.nix> + +
+
programs.joshuto.enable