From 265ad541cc5c9974dd407e051c939c5416bfa207 Mon Sep 17 00:00:00 2001 From: "quentin@aristote.fr" Date: Sat, 27 Jul 2024 19:12:54 +0200 Subject: home: remove venv-manager --- .../personal/dotfiles/venv-manager.nix | 39 ---------------------- 1 file changed, 39 deletions(-) delete mode 100644 modules/home-manager/personal/dotfiles/venv-manager.nix (limited to 'modules/home-manager/personal/dotfiles/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" - ''; - }; -} -- cgit v1.2.3