From 11483cf376d59adeda639ba3946945b7b3b91f5a Mon Sep 17 00:00:00 2001 From: rycee Date: Mon, 5 Feb 2024 23:30:45 +0000 Subject: [PATCH] deploy: f99eace7c167b8a6a0871849493b1c613d0f1b80 --- options.xhtml | 55 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 55 insertions(+) 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