|
|
3736e3a415
|
home: zsh: clean-up blank in history
|
2021-08-25 12:51:38 +02:00 |
|
|
|
e2546bd958
|
home: zsh: append to history
Otherwise the file is replaced rather than appended to.
|
2021-08-25 12:44:42 +02:00 |
|
|
|
d4dd67fab4
|
home: zsh: put further customization in files
I like the editing experience better when using dedicated files for this
|
2021-03-03 17:02:48 +00:00 |
|
