13fa12c5c3
Ensure files end with a new line
2024-07-14 23:51:56 +02:00
765bb4585b
zsh: only customize man pages for interactive shells
2023-10-08 15:24:56 +02:00
82a08405c5
zsh: use grep from homebrew if available
2023-10-01 23:46:26 +02:00
cd9f2ab8f2
zsh: disable dotnet annoyances
2023-08-01 14:06:22 +02:00
7a7c44a2da
zsh: adjust man page colors for gruvbox
2023-07-22 22:06:44 +02:00
6cabb10b31
zsh: don't cause errors if tput is not available
2023-03-05 01:09:51 +01:00
ebda8d4fa2
zsh: factor out checking for command availability
2023-03-05 01:09:51 +01:00
70bf3b3118
zsh: minor refactors
2023-03-05 01:09:51 +01:00
e46a370e2e
zsh: move environment setup to .zprofile
2023-03-05 01:09:51 +01:00
37f14fc23a
zsh: make `~/.zshenv' as small as possible
...
`~/.zshenv' is executed for _every_ instance of `zsh', so we should
limit the work done there to the absolute minimum. For me, that
currently means only making sure `$ZDOTDIR' is set so that login (via
`.zprofile') and interactive (via `.zshrc') shells can be configured
appropriately.
2022-10-21 20:16:10 +02:00
39f51775fe
zsh: refactor configuration with focus on interactive shells
...
Moved most of the work to `.zshrc' rather than `.zhenv', because most of
my configuration is only relevant to my interactive use of the shell.
2022-10-21 19:59:16 +02:00
