| ▲ | elric 6 hours ago | |
Regarding history: I have a function in my ZSH config which excludes certain things from the history. Especially things that can break stuff when my sausage fingers CTRL-R the wrong thing Something like this: | ||
| ▲ | rgrau 36 minutes ago | parent [-] | |
That's very cool! To take advantage of the "leading space" one, I have this, to mark some commands that I never want to record: | ||