botchGNU
ad8a17b399
|
3 years ago | |
---|---|---|
.. | ||
README.md | 3 years ago | |
per-directory-history.plugin.zsh | 3 years ago | |
per-directory-history.zsh | 3 years ago |
README.md
per-directory-history plugin
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.
Usage
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.
Configuration
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
)
History
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.