|
|
|
|
|
|
by tymm
3671 days ago
|
|
|
For the zsh users out there: I wrote a zsh plugin [0] a while ago which does a similar thing (writes time, directory and command to a file) + gives you a better (directory sensitive) history search. [0] https://github.com/tymm/zsh-directory-history |
|
|