Update home-manager config for use on Ubuntu
This commit is contained in:
parent
0a0ead86dc
commit
0e0fc2d3e7
3 changed files with 19 additions and 11 deletions
|
@ -7,18 +7,24 @@ in {
|
|||
ssh-with-yubikey = "ssh_with_yubikey";
|
||||
};
|
||||
bashrcExtra = ''
|
||||
# Load Default .bashrc if non-NixOS
|
||||
if [ -e "/etc/skel/.bashrc" ]; then
|
||||
source /etc/skel/.bashrc
|
||||
fi
|
||||
|
||||
# Helper Functions
|
||||
ssh_with_yubikey () { AGENT_SOCKET=$(ssh $@ gpgconf --list-dirs agent-socket) && ssh -A -R "$AGENT_SOCKET:$(gpgconf --list-dirs agent-socket)" -o "StreamLocalBindUnlink=yes" $@; }
|
||||
|
||||
case "$(sed -n 's|^NAME=||p' /etc/os-release)" in
|
||||
"Alpine Linux")
|
||||
DISTRO_SYMBOL=""
|
||||
;;
|
||||
"Ubuntu")
|
||||
DISTRO_SYMBOL=""
|
||||
;;
|
||||
"NixOS")
|
||||
DISTRO_SYMBOL=""
|
||||
;;
|
||||
"Ubuntu"|'"Ubuntu"')
|
||||
DISTRO_SYMBOL=""
|
||||
;;
|
||||
"Alpine Linux")
|
||||
DISTRO_SYMBOL=""
|
||||
;;
|
||||
"Arch Linux")
|
||||
DISTRO_SYMBOL=""
|
||||
;;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue