2023-11-03 10:06:32 -05:00
|
|
|
{ pkgs, lib, inputs, ...}:
|
2023-08-21 10:20:24 -05:00
|
|
|
|
|
|
|
|
{
|
2023-08-29 12:29:24 -05:00
|
|
|
imports = [
|
|
|
|
|
../../vscodium.nix
|
|
|
|
|
];
|
|
|
|
|
|
2023-11-01 14:14:50 -05:00
|
|
|
home = {
|
|
|
|
|
packages = with pkgs; [
|
|
|
|
|
aacs
|
2023-11-03 10:06:32 -05:00
|
|
|
bruno
|
2023-11-01 14:14:50 -05:00
|
|
|
direnv
|
|
|
|
|
home-manager
|
2023-11-03 10:06:32 -05:00
|
|
|
pipenv
|
2023-11-01 14:14:50 -05:00
|
|
|
];
|
|
|
|
|
file.".pip/pip.conf".text = (lib.strings.concatStringsSep "\n" [
|
|
|
|
|
"[global]"
|
|
|
|
|
"retries = 1"
|
|
|
|
|
"index-url = https://pypi.python.org/simple"
|
|
|
|
|
"extra-index-url ="
|
|
|
|
|
" https://pypi.ivrtechnology.com/simple/"
|
|
|
|
|
" https://pypidev.ivrtechnology.com/simple/"
|
|
|
|
|
]);
|
|
|
|
|
username = "gregory.hellings";
|
|
|
|
|
homeDirectory = "/home/gregory.hellings";
|
|
|
|
|
};
|
2023-08-21 10:20:24 -05:00
|
|
|
}
|