Bruno BELANYI
|
e2546bd958
|
home: zsh: append to history
Otherwise the file is replaced rather than appended to.
|
2021-08-25 12:44:42 +02:00 |
|
Bruno BELANYI
|
3d7420210a
|
home: zsh: do not share history accross shells
It's more annoying than helpful...
|
2021-08-25 12:22:36 +02:00 |
|
Bruno BELANYI
|
0ff730bf44
|
home: zsh: explicitly set history save size
Turns out the `history.save` limit is for what is *loaded into memory*,
not what is written to disk.
|
2021-06-23 23:14:05 +02:00 |
|
Bruno BELANYI
|
0970ab71eb
|
home: zsh: explicitly opt out of extended history
|
2021-06-23 23:13:39 +02:00 |
|
Bruno BELANYI
|
3cc933de81
|
home: zsh: remove trailing whitespace
|
2021-05-30 00:46:09 +02:00 |
|
Bruno BELANYI
|
684dac5904
|
home: zsh: make history ten times bigger
|
2021-05-16 00:03:59 +02:00 |
|
Bruno BELANYI
|
eba01a0067
|
home: zsh: enable VTE integration when appropriate
|
2021-05-08 17:14:13 +02:00 |
|
Bruno BELANYI
|
7cacca9baf
|
home: zsh: add 'reset-agent' alias
|
2021-03-31 17:56:36 +00:00 |
|
Bruno BELANYI
|
de94160adf
|
home: zsh: make it enable-able
continuous-integration/drone/push Build is passing
|
2021-03-14 12:18:09 +00:00 |
|
Bruno BELANYI
|
7e4ae50282
|
home: zsh: add extra mappings
Once again, old habits die hard...
|
2021-03-03 17:02:48 +00:00 |
|
Bruno BELANYI
|
d76b708d19
|
home: zsh: add asynchronous prompt
And customize it so that it looks like the old one, because change is
*bad*.
|
2021-03-03 17:02:48 +00:00 |
|
Bruno BELANYI
|
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 |
|
Bruno BELANYI
|
7c2430bb47
|
home: zsh: move into its own directory
|
2021-03-03 17:02:48 +00:00 |
|