User contributions

Jump to navigation Jump to search
Search for contributions
 
 
      
 
   

  • 15: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.
  • 10:03, 28 March 2019 diff hist +529 ZshAdded on-demand rehashing hook details. Alternative to persistent rehash with considerably less processing overhead.