3 ms·
Same here. Also included the host, timestamp, user, and current directory. Unifying history across multiple machines is very pleasant when you know you did some
by koolba 1y ago
Same here. Also included the host, timestamp, user, and current directory. Unifying history across multiple machines is very pleasant when you know you did something, but don’t even remember where you did it.
- remram 1y agoWhat tool do you use for that?
- earnestinger 1y agoI bet it was “bash” (with sed and rsync)
- koolba 1y agoYou forgot jq. The shell history is stored as json lines. Makes for easy grepping too.
- remram 1y agoI mean how do you unify it? Is there a tool that will sync/unify the history for you?
- thr0w4w4y1337 1y agoThere is - and was featured here a couple of times. atuin dot sh. But it uses sqlite under the hood afaik