2024-04-20 13:42:06 +00:00
|
|
|
{
|
|
|
|
config,
|
|
|
|
pkgs,
|
|
|
|
lib,
|
|
|
|
...
|
|
|
|
}:
|
|
|
|
{
|
2022-06-21 21:51:27 +00:00
|
|
|
|
2022-12-21 21:18:03 +00:00
|
|
|
options.python.enable = lib.mkEnableOption "Python programming language.";
|
2022-07-01 12:45:07 +00:00
|
|
|
|
2022-12-21 21:18:03 +00:00
|
|
|
config = lib.mkIf config.python.enable {
|
2022-07-01 12:45:07 +00:00
|
|
|
|
2022-12-21 21:18:03 +00:00
|
|
|
home-manager.users.${config.user} = {
|
|
|
|
|
|
|
|
home.packages = with pkgs; [
|
|
|
|
# python310 # Standard Python interpreter
|
|
|
|
nodePackages.pyright # Python language server
|
|
|
|
black # Python formatter
|
|
|
|
python310Packages.flake8 # Python linter
|
|
|
|
];
|
|
|
|
|
2024-04-20 13:42:06 +00:00
|
|
|
programs.fish.shellAbbrs = {
|
|
|
|
py = "python3";
|
|
|
|
};
|
2022-12-21 21:18:03 +00:00
|
|
|
};
|
2022-07-01 12:45:07 +00:00
|
|
|
};
|
2022-06-21 21:51:27 +00:00
|
|
|
}
|