home: Change zsh theme
This commit is contained in:
parent
593003d471
commit
83fd49157d
|
@ -63,7 +63,6 @@ in
|
||||||
element-desktop
|
element-desktop
|
||||||
signal-desktop
|
signal-desktop
|
||||||
nix-output-monitor
|
nix-output-monitor
|
||||||
gvfs
|
|
||||||
samba
|
samba
|
||||||
|
|
||||||
dnsutils
|
dnsutils
|
||||||
|
@ -134,7 +133,7 @@ in
|
||||||
oh-my-zsh = {
|
oh-my-zsh = {
|
||||||
enable = true;
|
enable = true;
|
||||||
plugins = [ "git" "fzf" ];
|
plugins = [ "git" "fzf" ];
|
||||||
theme = "robbyrussell";
|
theme = "kolo";
|
||||||
};
|
};
|
||||||
history = {
|
history = {
|
||||||
share = false; # every terminal has it's own history
|
share = false; # every terminal has it's own history
|
||||||
|
|
Loading…
Reference in a new issue