User contributions for Michaelkuc6

A user with 2 edits. Account created on 28 March 2019.
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽

29 March 2019

  • 15:4615:46, 29 March 2019 diff hist +725 ZshFixed 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 ZshAdded on-demand rehashing hook details. Alternative to persistent rehash with considerably less processing overhead.