summaryrefslogtreecommitdiff
path: root/common/home
diff options
context:
space:
mode:
Diffstat (limited to 'common/home')
-rw-r--r--common/home/default.nix4
-rw-r--r--common/home/nixvim/default.nix1
-rw-r--r--common/home/opam/default.nix5
3 files changed, 10 insertions, 0 deletions
diff --git a/common/home/default.nix b/common/home/default.nix
index 9b3eb31..ac7a9dc 100644
--- a/common/home/default.nix
+++ b/common/home/default.nix
@@ -18,6 +18,7 @@ let
"password-store"
"gpg"
"ssh"
+ "opam"
];
services = [
"syncthing"
@@ -30,6 +31,9 @@ let
pkgs.pavucontrol
pkgs.wl-clipboard
pkgs.virt-manager
+ pkgs.gcc
+ pkgs.gnumake
+ pkgs.ocamlPackages.ocamlformat
];
in
{
diff --git a/common/home/nixvim/default.nix b/common/home/nixvim/default.nix
index 047768d..628b8d0 100644
--- a/common/home/nixvim/default.nix
+++ b/common/home/nixvim/default.nix
@@ -167,6 +167,7 @@
installRustc = true;
};
pyright.enable = true;
+ ocamllsp.enable = true;
};
keymaps.lspBuf = {
"gd" = "definition";
diff --git a/common/home/opam/default.nix b/common/home/opam/default.nix
new file mode 100644
index 0000000..d0baee2
--- /dev/null
+++ b/common/home/opam/default.nix
@@ -0,0 +1,5 @@
+{ ... }:
+{
+ enable = true;
+ enableZshIntegration = true;
+}