From b0214d50e9a728d77d98d791e92dfe3747f27e23 Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Tue, 21 Feb 2023 22:34:46 +0100
Subject: factor out common home-manager configuration

---
 home/config/dotfiles/venv-manager.nix | 39 -----------------------------------
 1 file changed, 39 deletions(-)
 delete mode 100644 home/config/dotfiles/venv-manager.nix

(limited to 'home/config/dotfiles/venv-manager.nix')

diff --git a/home/config/dotfiles/venv-manager.nix b/home/config/dotfiles/venv-manager.nix
deleted file mode 100644
index 248cb0c..0000000
--- a/home/config/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"
-    '';
-  };
-}
-- 
cgit v1.2.3