diff options
author | Robby Russell <robby@planetargon.com> | 2014-04-19 12:56:21 -0700 |
---|---|---|
committer | Robby Russell <robby@planetargon.com> | 2014-04-19 12:56:21 -0700 |
commit | eafd5f325208421b82a770e57441dd1063eb5745 (patch) | |
tree | dad2b35d02de009b6ecec883a80bf68c2cffad11 /plugins/per-directory-history/README.md | |
parent | 11bf1a3a29c7b2e3aac81ed81338278d1baf2c8e (diff) | |
parent | ac6f1a045c5511cda60167ab978cf127c370d955 (diff) | |
download | zsh-eafd5f325208421b82a770e57441dd1063eb5745.tar.gz zsh-eafd5f325208421b82a770e57441dd1063eb5745.tar.bz2 zsh-eafd5f325208421b82a770e57441dd1063eb5745.zip |
Merge pull request #1635 from jimhester/per-directory-history
Update to latest per-directory-history
Diffstat (limited to 'plugins/per-directory-history/README.md')
-rw-r--r-- | plugins/per-directory-history/README.md | 56 |
1 files changed, 56 insertions, 0 deletions
diff --git a/plugins/per-directory-history/README.md b/plugins/per-directory-history/README.md new file mode 100644 index 000000000..d8ff93dc0 --- /dev/null +++ b/plugins/per-directory-history/README.md @@ -0,0 +1,56 @@ +[Per-Directory-History][6] +========================= + +Per directory history for zsh, as well as global history, and the +ability to toggle between them with ^G. + +This is a implementation of per directory history for zsh, some +implementations of which exist in bash[1][],[2][]. It also implements +a per-directory-history-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 as far +as I am aware. + +This is a standalone repository for the script, however it is also included in +[oh-my-zsh][4] as a plugin. + +---------------------------------------------------------------------------- +Usage +---------------------------------------------------------------------------- + +1. Load this script into your interactive ZSH session: + + % source zsh-per-directory-history.zsh + +2. The default mode if per directory history, interact with your history as normal. + +3. Press ^G (the Control and G keys simultaneously) to toggle between local + and global histories. + + + +------------------------------------------------------------------------------- +Configuration +------------------------------------------------------------------------------- + +* HISTORY_BASE a global variable that defines the base directory in which the + directory histories are stored +* per-directory-history-toggle-history is the function to toggle the history + +------------------------------------------------------------------------------- +History +------------------------------------------------------------------------------- + +The idea/inspiration for a per directory history is from [Stewart MacArthur][1] +and [Dieter][2], the implementation idea is from [Bart Schaefer][3]. The +implementation is by [Jim Hester][5] in September 2012. + +[1]: http://www.compbiome.com/2010/07/bash-per-directory-bash-history.html +[2]: http://dieter.plaetinck.be/per_directory_bash +[3]: http://www.zsh.org/mla/users/1997/msg00226.html +[4]: https://github.com/robbyrussell/oh-my-zsh +[5]: http://jimhester.com +[6]: http://github.com/jimhester/per-directory-history + |