Will Badart 70df740f9d Check $ZDOTDIR in bootstrap script ... Zsh looks for .zshrc in $ZDOTDIR, or $HOME if $ZDOTDIR is unset. I doubt non-$HOME $ZDOTDIRs are widespread (I might be the only one I know with one), but it's how zsh's startup is defined, so it can happen. This commit simply adds a check to the `*/zsh` case of `find_shell()` to respect $ZDOTDIR if it is set.		2022-10-28 17:01:38 +00:00
..
bootstrap	Check $ZDOTDIR in bootstrap script	2022-10-28 17:01:38 +00:00
dev	Add modgraph script	2021-10-05 21:38:07 +02:00
hooks/stack	Improve stack GHC install script	2022-09-30 13:59:43 +08:00
releasing	Finalize release	2022-02-26 18:47:18 +01:00
shell-completions	Move files into nicer subdirectories	2021-09-04 15:08:58 +02:00