home-profile: zsh add sudo plugin
This commit is contained in:
parent
cb65f9b455
commit
e442af49ba
|
@ -40,6 +40,7 @@ let
|
||||||
rev = "v1.20.0";
|
rev = "v1.20.0";
|
||||||
sha256 = "sha256-ES5vJXHjAKw/VHjWs8Au/3R+/aotSbY7PWnWAMzCR8E=";
|
sha256 = "sha256-ES5vJXHjAKw/VHjWs8Au/3R+/aotSbY7PWnWAMzCR8E=";
|
||||||
});
|
});
|
||||||
|
sudo = makePlugin "sudo" "sudo.plugin.zsh" "${pkgs.oh-my-zsh}/share/oh-my-zsh/plugins/sudo";
|
||||||
|
|
||||||
};
|
};
|
||||||
in
|
in
|
||||||
|
@ -89,6 +90,9 @@ in
|
||||||
if [[ -f "${extraPlugins.powerlevel10k.fullPath}" ]]; then
|
if [[ -f "${extraPlugins.powerlevel10k.fullPath}" ]]; then
|
||||||
source "${extraPlugins.powerlevel10k.fullPath}"
|
source "${extraPlugins.powerlevel10k.fullPath}"
|
||||||
fi
|
fi
|
||||||
|
if [[ -f "${extraPlugins.sudo.fullPath}" ]]; then
|
||||||
|
source "${extraPlugins.sudo.fullPath}"
|
||||||
|
fi
|
||||||
''
|
''
|
||||||
}'';
|
}'';
|
||||||
|
|
||||||
|
@ -133,6 +137,10 @@ in
|
||||||
__MATERUS_HM_ZSH_PRIVATE=1 ${lib.getExe config.programs.zsh.package}
|
__MATERUS_HM_ZSH_PRIVATE=1 ${lib.getExe config.programs.zsh.package}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
myip() {
|
||||||
|
wget -qO- https://wtfismyip.com/text
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
'' +
|
'' +
|
||||||
makeIfVar "__MATERUS_HM_ZSH_PROMPT" "p10k" ''
|
makeIfVar "__MATERUS_HM_ZSH_PROMPT" "p10k" ''
|
||||||
|
|
Loading…
Reference in New Issue