5f41ecd7b8425bbd62da92d44661e53c0b81c0f8

Author
Robby Russell <robby@planetargon.com>
Committer
Robby Russell <robby@planetargon.com>
Date

Message

Merge pull request #1186 from r-darwish/history

Added history plugin

Diff

 1diff --git a/plugins/history/history.plugin.zsh b/plugins/history/history.plugin.zsh
 2new file mode 100644
 3index 0000000000000000000000000000000000000000..0f4aa4b10720d359d48cbac77c86234bf26f56a3
 4--- /dev/null
 5+++ b/plugins/history/history.plugin.zsh
 6@@ -0,0 +1,8 @@
 7+alias h='history'
 8+
 9+function hs
10+{
11+    history | grep $*
12+}
13+
14+alias hsi='hs -i'