infra: update to nixos-23.05 #230

Merged
teutat3s merged 50 commits from infra-23.05 into infra 2023-07-02 12:59:05 +00:00
Showing only changes of commit 9930808f77 - Show all commits

View file

@ -5,12 +5,18 @@
add_newline = false;
# You can also replace your username with a neat symbol like  to save some space
#username = {
# show_always = true;
# style_user = "bg:#9A348E";
# style_root = "bg:#9A348E";
# format = ''[$user ]($style)'';
#};
username = {
show_always = true;
style_user = "bg:#9A348E";
style_root = "bg:#9A348E";
format = ''[$user]($style)'';
};
hostname = {
ssh_only = false;
format = "@[$ssh_symbol$hostname]($style)";
disabled = false;
};
character = {
success_symbol = "[](bold purple)";
error_symbol = "[](#FF4B00)";