Compare commits
No commits in common. "122693e9c8d317ecd81fbd62f23980dbf7fb9cf3" and "ffe82f65f83b12596150b8e5fd1fd563a1bbf617" have entirely different histories.
122693e9c8
...
ffe82f65f8
|
@ -144,11 +144,11 @@
|
|||
"systems": "systems_8"
|
||||
},
|
||||
"locked": {
|
||||
"lastModified": 1695195896,
|
||||
"narHash": "sha256-pq9q7YsGXnQzJFkR5284TmxrLNFc0wo4NQ/a5E93CQU=",
|
||||
"lastModified": 1688380630,
|
||||
"narHash": "sha256-8ilApWVb1mAi4439zS3iFeIT0ODlbrifm/fegWwgHjA=",
|
||||
"owner": "numtide",
|
||||
"repo": "devshell",
|
||||
"rev": "05d40d17bf3459606316e3e9ec683b784ff28f16",
|
||||
"rev": "f9238ec3d75cefbb2b42a44948c4e8fb1ae9a205",
|
||||
"type": "github"
|
||||
},
|
||||
"original": {
|
||||
|
|
|
@ -1,16 +1,12 @@
|
|||
# Font configuration
|
||||
font_family FiraCode Nerd Font Mono
|
||||
bold_font FiraCode Nerd Font Mono Bold
|
||||
italic_font FiraCode Nerd Font Mono Italic
|
||||
bold_italic_font FiraCode Nerd Font Mono Bold Italic
|
||||
font_family Hack Nerd Font Mono
|
||||
bold_font Hack Nerd Font Mono Bold
|
||||
italic_font Hack Nerd Font Mono Italic
|
||||
bold_italic_font Hack Nerd Font Mono Bold Italic
|
||||
font_size 11.0
|
||||
# firacode-specific
|
||||
modify_font cell_height -6px
|
||||
modify_font baseline 2
|
||||
|
||||
sync_to_monitor no
|
||||
# if I'm hovering over the font, don't perform ligature, thanks.
|
||||
disable_ligatures cursor
|
||||
disable_ligatures never
|
||||
|
||||
# NO BELLS!
|
||||
enable_audio_bell no
|
||||
|
|
|
@ -3,30 +3,18 @@ Host felia-win
|
|||
HostName felia.coati-celsius.ts.net
|
||||
Port 2222
|
||||
User _nhitrl
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
|
||||
# Ubuntu 12c 32G-RAM
|
||||
Host felia
|
||||
HostName felia.coati-celsius.ts.net
|
||||
User ubuntu_admin
|
||||
Port 22
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
|
||||
# 2c 16G-RAM 200G drive
|
||||
Host fel
|
||||
HostName fel.coati-celsius.ts.net
|
||||
User user
|
||||
Port 22
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
|
||||
# AMZ Linux aarch64 hungtr@AMZ
|
||||
Host nioma
|
||||
|
@ -34,56 +22,32 @@ Host nioma
|
|||
User ec2-user
|
||||
IdentityFile ~/.ssh/free-aws.pem
|
||||
Port 22
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
|
||||
# NixOS Pegasust-gh@Linode
|
||||
Host nyx
|
||||
HostName nyx.pegasust.com
|
||||
User hungtr
|
||||
Port 22
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
|
||||
Host lizzi
|
||||
HostName 172.105.135.218
|
||||
User hungtr
|
||||
Port 22
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
|
||||
Host pixi
|
||||
HostName 139.144.60.254
|
||||
User hungtr
|
||||
Port 22
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
|
||||
Host mokoi
|
||||
HostName 129.146.98.121
|
||||
User ubuntu_admin
|
||||
Port 22
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
|
||||
Host noami
|
||||
HostName 10.100.200.230
|
||||
User htran
|
||||
Port 22
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
|
||||
Host sr1
|
||||
HostName 10.30.76.46
|
||||
|
@ -92,10 +56,6 @@ Host sr1
|
|||
StrictHostKeyChecking no
|
||||
HostKeyAlgorithms=+ssh-dss,ssh-rsa
|
||||
KexAlgorithms +diffie-hellman-group1-sha1,diffie-hellman-group-exchange-sha1,diffie-hellman-group14-sha1
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
|
||||
Host bgp1
|
||||
HostName 10.111.100.113
|
||||
|
@ -106,8 +66,6 @@ Host bgp1
|
|||
IdentityFile ~/.ssh/id_rsa
|
||||
HostKeyAlgorithms=+ssh-dss,ssh-rsa
|
||||
KexAlgorithms +diffie-hellman-group1-sha1,diffie-hellman-group-exchange-sha1,diffie-hellman-group14-sha1
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
|
||||
Host bgp2
|
||||
HostName 10.111.100.114
|
||||
|
@ -118,10 +76,9 @@ Host bgp2
|
|||
IdentityFile ~/.ssh/id_rsa
|
||||
HostKeyAlgorithms=+ssh-dss,ssh-rsa
|
||||
KexAlgorithms +diffie-hellman-group1-sha1,diffie-hellman-group-exchange-sha1,diffie-hellman-group14-sha1
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
|
||||
Host 10.111.100.*
|
||||
HostName 10.111.100.*
|
||||
User htran
|
||||
Port 22
|
||||
StrictHostKeyChecking no
|
||||
|
@ -129,19 +86,6 @@ Host 10.111.100.*
|
|||
IdentityFile ~/.ssh/id_rsa
|
||||
HostKeyAlgorithms=+ssh-dss,ssh-rsa
|
||||
KexAlgorithms +diffie-hellman-group1-sha1,diffie-hellman-group-exchange-sha1,diffie-hellman-group14-sha1
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
|
||||
Host 10.111.101.*
|
||||
User htran
|
||||
Port 22
|
||||
StrictHostKeyChecking no
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
HostKeyAlgorithms=+ssh-dss,ssh-rsa
|
||||
KexAlgorithms +diffie-hellman-group1-sha1,diffie-hellman-group-exchange-sha1,diffie-hellman-group14-sha1
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
|
||||
Host d1-30
|
||||
HostName 10.111.103.60
|
||||
|
@ -151,8 +95,6 @@ Host d1-30
|
|||
UserKnownHostsFile /dev/null
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
|
||||
Host d3l-3
|
||||
HostName 10.111.103.65
|
||||
|
@ -162,72 +104,42 @@ Host d3l-3
|
|||
UserKnownHostsFile /dev/null
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
|
||||
Host dev0
|
||||
HostName 10.100.200.230
|
||||
User htran
|
||||
Port 22
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
|
||||
Host dev2
|
||||
HostName 10.100.200.210
|
||||
User htran
|
||||
Port 22
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
|
||||
Host dev1
|
||||
HostName 10.100.200.220
|
||||
User htran
|
||||
Port 22
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
|
||||
|
||||
Host ztp-egi
|
||||
HostName 10.23.27.201
|
||||
User root
|
||||
Port 22
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
|
||||
Host goat
|
||||
HostName 10.133.32.100
|
||||
User "EGN NOC"
|
||||
Port 22
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
|
||||
Host portal2
|
||||
HostName portal2.egihosting.com
|
||||
User root
|
||||
Port 22
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
|
||||
Host egn-rest-api
|
||||
HostName egn-rest-api.egihosting.com
|
||||
User root
|
||||
Port 22
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
|
||||
Host gl-egi
|
||||
HostName gitlab.egihosting.com
|
||||
|
@ -253,33 +165,6 @@ Host *.egihosting.com
|
|||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
|
||||
Host grafana-egi
|
||||
HostName grafana.egihosting.com
|
||||
User nokia
|
||||
Port 22
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
|
||||
Host syslog-egi
|
||||
HostName syslog.egihosting.com
|
||||
User root
|
||||
Port 22
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
|
||||
Host geofeed-egi
|
||||
HostName geofeed.egihosting.com
|
||||
User root
|
||||
Port 22
|
||||
SendEnv TERM
|
||||
SetEnv TERM=xterm-256color
|
||||
IdentityFile ~/.ssh/id_ed25519
|
||||
IdentityFile ~/.ssh/id_rsa
|
||||
|
||||
Host gh
|
||||
HostName github.com
|
||||
User git
|
||||
|
|
|
@ -96,7 +96,6 @@ in {
|
|||
{
|
||||
nix-rebuild = "sudo nixos-rebuild switch";
|
||||
hm-switch = "home-manager switch --flake";
|
||||
hm-switch-u = "home-manager switch --flake .#$${USER}";
|
||||
}
|
||||
// (cfg.shellAliases or {});
|
||||
history = {
|
||||
|
|
|
@ -18,9 +18,9 @@ in {
|
|||
}: {
|
||||
config.fonts.fontconfig.enable = true;
|
||||
config.home.packages = [
|
||||
(pkgs.nerdfonts.override {fonts = ["FiraCode"];})
|
||||
(pkgs.nerdfonts.override {fonts = ["Hack"];})
|
||||
];
|
||||
config."${namespace}".alacritty.font.family = "FiraCode Nerd Font Mono";
|
||||
config."${namespace}".alacritty.font.family = "Hack Nerd Font Mono";
|
||||
};
|
||||
|
||||
secrets = {
|
||||
|
@ -75,7 +75,7 @@ in {
|
|||
enable = true;
|
||||
config-path = "${inputs.self}//native_configs/alacritty/alacritty.yml";
|
||||
font.size = 11.0;
|
||||
font.family = "FiraCode Nerd Font Mono";
|
||||
font.family = "Hack Nerd Font Mono";
|
||||
};
|
||||
};
|
||||
|
||||
|
|
|
@ -92,7 +92,7 @@ in {
|
|||
programs.zsh = {
|
||||
enable = true;
|
||||
enableCompletion = true;
|
||||
enableAutosuggestions = true;
|
||||
# enableAutosuggestions = true;
|
||||
shellAliases =
|
||||
{
|
||||
nix-rebuild = "sudo nixos-rebuild switch";
|
||||
|
|
Loading…
Reference in New Issue