Merge pull request #1186 from r-darwish/history · 5f41ecd7b8 - HonorLee Personal Git Server

Merge pull request #1186 from r-darwish/history

Added history plugin

Robby Russell 12 years ago

parent

bd9a86051f 8ba97c3644

commit

5f41ecd7b8

1 changed files with 8 additions and 0 deletions

Split View Show Diff Stats

						
							+ 8
							
							- 0
						
plugins/history/history.plugin.zsh
							 
								View File
							
				@@ -0,0 +1,8 @@
			
				+alias h='history'
			
				+
			
				+function hs
			
				+{
			
				+    history | grep $*
			
				+}
			
				+
			
				+alias hsi='hs -i'