initial commit

2017-06-06 18:02:21 +02:00
commit 178bfef951
481 changed files with 43275 additions and 0 deletions
--- a/.oh-my-zsh/plugins/history/history.plugin.zsh
+++ b/.oh-my-zsh/plugins/history/history.plugin.zsh
@@ -0,0 +1,8 @@
+alias h='history'
+
+function hs
+{
+    history | grep $*
+}
+
+alias hsi='hs -i'