3 files changed, 2 insertions, 55 deletions
diff --git a/modules/home-manager/personal/dotfiles/default.nix b/modules/home-manager/personal/dotfiles/default.nix
index 0e8b36a..82b7401 100644
--- a/modules/home-manager/personal/dotfiles/default.nix
+++ b/modules/home-manager/personal/dotfiles/default.nix
@@ -5,6 +5,5 @@
     latexmkrc = ./latexmkrc;
     rofi = ./rofi.rasi.mustache;
     spacemacs = ./spacemacs.el;
-    venv-manager = ./venv-manager.nix;
   };
 }
diff --git a/modules/home-manager/personal/dotfiles/venv-manager.nix b/modules/home-manager/personal/dotfiles/venv-manager.nix
deleted file mode 100644
index 248cb0c..0000000
--- a/modules/home-manager/personal/dotfiles/venv-manager.nix
+++ /dev/null
@@ -1,39 +0,0 @@
-{ config, lib, pkgs, ... }:
-
-{
-  direnv.enable = lib.mkDefault true;
-
-  haskell = { spacemacs.enable = lib.mkDefault true; };
-
-  latex = {
-    packages = tl: {
-      inherit (tl)
-        scheme-basic # scheme
-        koma-script ragged2e everysel footmisc # koma
-      ;
-    };
-    latexmk = {
-      enable = lib.mkDefault true;
-      output.pdf.enable = lib.mkDefault true;
-      rc =
-        lib.optional (lib.pathExists ~/.config/latexmkrc) ~/.config/latexmkrc;
-    };
-  };
-
-  nix.enable = lib.mkDefault true;
-
-  ocaml.tuareg.enable = lib.mkDefault true;
-
-  coq.coq = pkgs.coq_8_15;
-  # pkgs.coq_8_15.override { buildIde = false; };
-
-  why3 = {
-    defaultEditor = "emacsclient -c";
-    extraConfig = lib.optionalString config.coq.enable ''
-      [prover]
-      editor = ""
-      name = "Coq"
-      version = "8.15+rc1"
-    '';
-  };
-}
diff --git a/modules/home-manager/personal/profiles.nix b/modules/home-manager/personal/profiles.nix
index a4cfd5b..ba4aecd 100644
--- a/modules/home-manager/personal/profiles.nix
+++ b/modules/home-manager/personal/profiles.nix
@@ -25,21 +25,8 @@ in {
       };
       personal.programs.devenv.enable = true;
 
-      home.shellAliases = {
-        mkenv = ''
-          cp ~/.config/venv-manager/shell-template.nix ./shell.nix ;
-          echo "use_nix" >> .envrc ;
-          direnv allow ;
-          $EDITOR shell.nix ;
-        '';
-      };
-
-      home.file = {
-        ".config/latexmkrc".text =
-          builtins.readFile config.personal.home.dotfiles.latexmkrc;
-        ".config/venv-manager/config/default.nix".source =
-          lib.mkDefault config.personal.home.dotfiles.venv-manager;
-      };
+      home.file.".config/latexmkrc".text =
+        builtins.readFile config.personal.home.dotfiles.latexmkrc;
 
       services.gpg-agent.enableSshSupport = true;
     })