[zsh] Move into user config
This commit is contained in:
		
							parent
							
								
									7a7edb68a6
								
							
						
					
					
						commit
						40b24908c3
					
				
					 8 changed files with 134 additions and 90 deletions
				
			
		
							
								
								
									
										17
									
								
								nixos/overlays/cmdtime/default.nix
									
										
									
									
									
										Normal file
									
								
							
							
						
						
									
										17
									
								
								nixos/overlays/cmdtime/default.nix
									
										
									
									
									
										Normal file
									
								
							|  | @ -0,0 +1,17 @@ | |||
| final: prev: { | ||||
|   cmdtime = final.stdenv.mkDerivation { | ||||
|     name = "cmdtime"; | ||||
|     version = "v0.0.0"; | ||||
|     src = final.fetchFromGitHub { | ||||
|       owner = "tom-auger"; | ||||
|       repo = "cmdtime"; | ||||
|       rev = "ffc72641dcfa0ee6666ceb1dc712b61be30a1e8b"; | ||||
|       hash = "sha256-v6wCfNoPXDD3sS6yUYE6lre8Ir1yJcLGoAW3O8sUOCg="; | ||||
|     }; | ||||
| 
 | ||||
|     installPhase = '' | ||||
|       mkdir -p $out/share/cmdtime | ||||
|       cp $src/cmdtime.plugin.zsh $out/share/cmdtime.plugin.zsh | ||||
|     ''; | ||||
|   }; | ||||
| } | ||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue