From 43da9edb4598eef509c481ae0b305384418c45de Mon Sep 17 00:00:00 2001
From: Franck Cuny <franck@fcuny.net>
Date: Fri, 5 May 2023 19:41:58 -0700
Subject: home/profiles: move (almost) all modules to profiles

This is a major refactor, similar to what was done for the hosts, but in
a single commit.
---
 home/python/default.nix | 29 -----------------------------
 1 file changed, 29 deletions(-)
 delete mode 100644 home/python/default.nix

(limited to 'home/python')

diff --git a/home/python/default.nix b/home/python/default.nix
deleted file mode 100644
index 32a2129..0000000
--- a/home/python/default.nix
+++ /dev/null
@@ -1,29 +0,0 @@
-{ config, pkgs, lib, ... }:
-let
-  cfg = config.my.home.python;
-  pythonEnv = pkgs.python3.withPackages (p: with p; [
-    black # format
-    isort # format
-    pylsp-mypy # language server protocol
-    requests # HTTP library
-    types-requests # types for requests (for mypy)
-    pip # to install dependencies
-    ipython # nicer REPL
-  ]);
-in
-{
-  options.my.home.python = with lib; {
-    enable = mkEnableOption "python configuration";
-  };
-
-  config = lib.mkIf cfg.enable {
-    home.packages = with pkgs.python3Packages; [ pythonEnv ];
-
-    home.sessionVariables = with config.xdg; {
-      IPYTHONDIR = "${cacheHome}/ipython";
-      PIP_LOG = "${cacheHome}/pip/pip.log";
-      PYLINTHOME = "${cacheHome}/pylint";
-      PYTHON_EGG_CACHE = "${cacheHome}/python-eggs";
-    };
-  };
-}
-- 
cgit 1.4.1