2024-04-13 17:16:29 +00:00
|
|
|
# Additional ZSH settings via Home Manager
|
2024-10-18 15:45:40 +00:00
|
|
|
{ ... }:
|
2024-05-07 22:02:59 +00:00
|
|
|
{
|
2024-10-15 14:22:53 +00:00
|
|
|
programs = {
|
|
|
|
# Set up Starship
|
|
|
|
# https://starship.rs/
|
|
|
|
starship = {
|
|
|
|
enable = true;
|
|
|
|
enableZshIntegration = true;
|
2024-05-07 22:02:59 +00:00
|
|
|
};
|
2024-10-15 14:22:53 +00:00
|
|
|
zsh = {
|
2024-05-07 22:02:59 +00:00
|
|
|
enable = true;
|
2024-10-15 14:22:53 +00:00
|
|
|
autosuggestion.enable = true;
|
|
|
|
syntaxHighlighting.enable = true;
|
|
|
|
history.ignoreDups = true; # Do not enter command lines into the history list if they are duplicates of the previous event.
|
|
|
|
initExtra = ''
|
2024-10-18 15:45:40 +00:00
|
|
|
function set_win_title(){
|
|
|
|
echo -ne "\033]0; $(basename "$PWD") \007"
|
|
|
|
}
|
|
|
|
precmd_functions+=(set_win_title)
|
|
|
|
|
|
|
|
bindkey "^[[1;5C" forward-word
|
|
|
|
bindkey "^[[1;5D" backward-word
|
2024-10-15 14:22:53 +00:00
|
|
|
'';
|
2024-05-07 22:02:59 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|