User contributions for Michaelkuc6
A user with 2 edits. Account created on 28 March 2019.
29 March 2019
- 15:4615:46, 29 March 2019 diff hist +725 Zsh Fixed invalid method for on-demand rehashing by moving rehashing to the zsh sessions themselves. Removed obsoleted accuracy concern.
28 March 2019
- 10:0310:03, 28 March 2019 diff hist +529 Zsh Added on-demand rehashing hook details. Alternative to persistent rehash with considerably less processing overhead.