diff options
author | Robby Russell <robby@planetargon.com> | 2012-12-04 06:38:28 -0800 |
---|---|---|
committer | Robby Russell <robby@planetargon.com> | 2012-12-04 06:38:28 -0800 |
commit | 5f41ecd7b8425bbd62da92d44661e53c0b81c0f8 (patch) | |
tree | 14a8f3502965aab3e64ca28238eb4b265b131924 | |
parent | bd9a86051fe4e4e15243b8607a81d37a5158a7ba (diff) | |
parent | 8ba97c36443d8551a28de194a3da4b7c4d6c7949 (diff) | |
download | zsh-5f41ecd7b8425bbd62da92d44661e53c0b81c0f8.tar.gz zsh-5f41ecd7b8425bbd62da92d44661e53c0b81c0f8.tar.bz2 zsh-5f41ecd7b8425bbd62da92d44661e53c0b81c0f8.zip |
Merge pull request #1186 from r-darwish/history
Added history plugin
-rw-r--r-- | plugins/history/history.plugin.zsh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/plugins/history/history.plugin.zsh b/plugins/history/history.plugin.zsh new file mode 100644 index 000000000..0f4aa4b10 --- /dev/null +++ b/plugins/history/history.plugin.zsh @@ -0,0 +1,8 @@ +alias h='history' + +function hs +{ + history | grep $* +} + +alias hsi='hs -i' |