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 --- modules/home-manager/personal/profiles.nix | 17 ++--------------- 1 file changed, 2 insertions(+), 15 deletions(-) (limited to 'modules/home-manager/personal/profiles.nix') 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; }) -- cgit v1.2.3