Ajout nitrokey

This commit is contained in:
Adrien Bourmault 2023-10-13 22:54:55 +02:00
parent 186d7d4725
commit 7679a26c9a
No known key found for this signature in database
GPG Key ID: 2974E1D5F25DFCC8
2 changed files with 36 additions and 22 deletions

10
.bashrc
View File

@ -14,4 +14,12 @@ export BSD_GAMES_DIR=~/.local/share/bsd-games
export GCC_COLORS='error=01;31:warning=01;35:note=01;36:caret=01;32:locus=01:quote=01'
export GITLAB_URL=https://git.a-lec.org
export GUIX_PACKAGE_PATH=~/.config/guix/packages/defs
export PATH=$PATH:~/Projets/GNU/gnulib/build-aux
export PATH=$PATH:~/Projets/GNU/gnulib/build-aux:/home/neox/.local/bin
source ~/.bash_secrets
unset SSH_AGENT_PID
if [ "${gnupg_SSH_AUTH_SOCK_by:-0}" -ne $$ ]; then
export SSH_AUTH_SOCK="$(gpgconf --list-dirs agent-ssh-socket)"
fi

View File

@ -4,30 +4,36 @@
;; retenir les canaux utilisés, ceux renvoyés par « guix describe ».
;; Voir la section « Répliquer Guix » dans le manuel.
(use-modules (gnu home)
(gnu packages)
(gnu services)
(gnu packages)
(gnu packages gnupg)
(guix gexp)
(gnu home services shells))
(gnu home services shells)
(gnu home services gnupg))
(home-environment
;; Voici la liste des services personnels. Pour trouver les services disponibles,
;; lancez « guix home search MOT-CLÉ » dans un terminal.
(services
(list (service home-bash-service-type
(home-bash-configuration
(aliases '(("clear" . "printf '\\033c'")
(aliases '(
("clear" . "printf '\\033c'")
("dir" . "dir --color=auto")
("egrep" . "egrep --color=auto")
("fgrep" . "fgrep --color=auto")
("grep" . "grep --color=auto")
("l" . "ls -CF")
("la" . "ls -A")
("ll" . "ls -l")
("l" . "ls -CF")
("ls" . "ls -p --color=auto")
("vdir" . "vdir --color=auto")))
(bashrc (list (local-file "/home/neox/.config/guix/.bashrc"
"bashrc")))
(bashrc (list (local-file "/home/neox/.config/guix//.bashrc" "bashrc")))
(bash-profile (list (local-file
"/home/neox/.config/guix/.bash_profile"
"bash_profile"))))))))
"/home/neox/.config/guix//.bash_profile"
"bash_profile")))))
(service home-gpg-agent-service-type
(home-gpg-agent-configuration
(pinentry-program
(file-append pinentry-gnome3 "/bin/pinentry-gnome3"))
(ssh-support? #t))))))