hosts/satori: random stuff

Signed-off-by: Amneesh Singh <natto@weirdnatto.in>
This commit is contained in:
2022-11-05 17:49:27 +05:30
parent b4d37cfc45
commit 3b95e2700d
10 changed files with 42 additions and 238 deletions

View File

@@ -28,8 +28,8 @@
rnix-lsp
vulkan-tools
vulkan-headers
msr-tools
steam
msr-tools
steam
igrep
];
@@ -50,29 +50,6 @@
};
zsh = {
enable = true;
promptInit = ''
RPROMPT='%B%F{cyan}%n%f@%F{red}%m%b'
function preexec() {
timer=$(date +%s%3N)
}
function precmd() {
if [ $timer ]; then
now=$(date +%s%3N)
elapsed=$(($now-$timer))
unset timer
unit="ms"
if [ $elapsed -gt 1000 ]; then
elapsed=$(echo "scale=1; $elapsed/1000" | ${pkgs.bc}/bin/bc -l)
unit="s"
fi
if (( $(echo "$elapsed > 60" | ${pkgs.bc}/bin/bc -l) )) then
elapsed=$(echo "scale=2; $elapsed/60" | ${pkgs.bc}/bin/bc -l)
unit="m"
fi
RPROMPT='%B%F{cyan}%n%f@%F{red}%m %F{yellow}~%f %F{magenta}$elapsed $unit%f%b '
fi
}
'';
histSize = 30000;
enableCompletion = true;
enableBashCompletion = true;
@@ -82,8 +59,8 @@
highlightStyle = "fg=yellow,bold";
};
ohMyZsh = {
plugins = [ "git" ];
enable = true;
theme = "awesomepanda";
};
};
dconf.enable = true;