Marc Cornellà efafef8495 docs: improve several plugin READMEs and add one for `ssh` plugin | 3 miesięcy temu | |
---|---|---|
.. | ||
README.md | 3 miesięcy temu | |
per-directory-history.plugin.zsh | 11 lat temu | |
per-directory-history.zsh | 8 miesięcy temu |
This plugin adds per-directory history for zsh, as well as a global history, and the ability to toggle between them with a keyboard shortcut. This is a bundle of the official plugin by @jimhester.
To use it, add per-directory-history
to the plugins array in your zshrc file:
plugins=(... per-directory-history)
This is an implementation of per-directory history for zsh, some implementations of which exist in bash1,2. It also implements a toggle-history function to change from using the directory history to using the global history. In both cases the history is always saved to both the global history and the directory history, so the toggle state will not effect the saved histories. Being able to switch between global and directory histories on the fly is a novel feature.
The default mode is per directory history, interact with your history as normal.
Press ^G (the Control and G keys simultaneously) to toggle
between local and global histories. If you would prefer a different shortcut to
toggle set the PER_DIRECTORY_HISTORY_TOGGLE
environment variable.
HISTORY_BASE
is a global variable that defines the base directory in which the
directory histories are stored (default $HOME/.directory_history
).per-directory-history-toggle-history
is the function to toggle between local
and global histories.PER_DIRECTORY_HISTORY_TOGGLE
is the key binding used to run the toggle-history
function above (default ^G
)PER_DIRECTORY_HISTORY_PRINT_MODE_CHANGE
is a variable which toggles whether
the current mode is printed to the screen following a mode change (default true
)The idea/inspiration for a per directory history is from Stewart MacArthur and Dieter, the implementation idea is from Bart Schaefer. The implementation is by Jim Hester in September 2012.