155 reputation
5
bio website ale-re.net
location Italy
age 28
visits member for 1 year, 1 month
seen Apr 11 at 9:24

Love to learn, love to think, love to know.


Apr
5
awarded  Editor
Apr
5
accepted Per-directory history in zsh
Apr
5
comment Per-directory history in zsh
Until I missed something, the plugin does not exactly what I need, in the sense that per directory and global histories are mutually switched using ctrl-g (and not by priority as I asked). Nevertheless, I still find it extremely useful and a good answer to my question, so, thanks :)
Apr
5
comment Per-directory history in zsh
Nice, thanks! I will try it before accepting, if you don't mind :)
Apr
4
asked Per-directory history in zsh
Mar
8
awarded  Scholar
Mar
8
awarded  Supporter
Mar
8
accepted Replacing tmux with exec
Mar
8
comment Replacing tmux with exec
Nice idea to catch a signal in a wrapper script.
Mar
7
comment Replacing tmux with exec
Thanks, this is what I usually do when I'm on a local machine, but sometimes I need to do the same task on remote ones where tmux is my system default.
Mar
7
awarded  Student
Mar
7
awarded  Autobiographer
Mar
7
asked Replacing tmux with exec