Skip to content
Snippets Groups Projects
  1. Nov 20, 2022
  2. Nov 12, 2022
  3. Nov 10, 2022
  4. Oct 28, 2022
    • Will Badart's avatar
      Check $ZDOTDIR in bootstrap script · 70df740f
      Will Badart authored
      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.
      70df740f
  5. Oct 25, 2022
  6. Sep 30, 2022
  7. Sep 26, 2022
  8. Sep 21, 2022
  9. Aug 24, 2022
  10. Aug 23, 2022
  11. Aug 22, 2022
  12. Aug 12, 2022
  13. Aug 09, 2022
  14. Aug 08, 2022
  15. Aug 06, 2022
  16. Aug 05, 2022
  17. Jul 30, 2022
Loading