2021-07-29 20:21:51 +00:00
|
|
|
{ pkgs, config, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
config = {
|
|
|
|
users.users.alexander = {
|
|
|
|
isNormalUser = true;
|
|
|
|
extraGroups = [ "wheel" "audio" "video" "kvm" "input" "libvirtd" ];
|
|
|
|
hashedPassword = "$5$i4aZuQ/WXP.rFOc$lCzDqbrVsqBQt5954O.3bFPknD0jn27MmqzmE4DIAEC";
|
|
|
|
shell = pkgs.zsh;
|
|
|
|
useDefaultShell = false;
|
|
|
|
uid = 1000;
|
|
|
|
isSystemUser = false;
|
|
|
|
};
|
|
|
|
|
2021-08-04 17:07:42 +00:00
|
|
|
system.singleUser = "alexander";
|
|
|
|
|
2021-07-29 20:21:51 +00:00
|
|
|
# Activate gpg
|
|
|
|
programs.gnupg.agent.enable = true;
|
2021-08-04 17:07:42 +00:00
|
|
|
|
|
|
|
# No need to use users."${system.singleUser}" as we already know it
|
2021-07-29 20:21:51 +00:00
|
|
|
home-manager.users.alexander = {
|
|
|
|
programs.home-manager.enable = true;
|
|
|
|
|
|
|
|
programs.ssh = {
|
|
|
|
enable = true;
|
|
|
|
extraConfig = ''
|
|
|
|
IdentityFile ~/.ssh/gitea_papatutuwawa
|
2021-10-21 21:43:49 +00:00
|
|
|
IdentityFile ~/.ssh/github_polynomdivision
|
2021-07-29 20:21:51 +00:00
|
|
|
|
|
|
|
Host git.polynom.me
|
|
|
|
HostName git.polynom.me
|
|
|
|
User git
|
|
|
|
IdentityFile ~/.ssh/gitea_papatutuwawa
|
2021-10-21 21:43:49 +00:00
|
|
|
|
|
|
|
Host github.com
|
|
|
|
HostName github.com
|
|
|
|
User git
|
|
|
|
IdentityFile ~/.ssh/github_polynomdivision
|
2021-07-29 20:21:51 +00:00
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
services.gpg-agent = {
|
|
|
|
enable = true;
|
|
|
|
pinentryFlavor = "gnome3";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|