extra args to cloneRepo script
This commit is contained in:
		
							parent
							
								
									59f6680d85
								
							
						
					
					
						commit
						83ba2c6365
					
				
					 1 changed files with 1 additions and 1 deletions
				
			
		| 
						 | 
					@ -50,7 +50,7 @@ with lib;
 | 
				
			||||||
    home.activation =
 | 
					    home.activation =
 | 
				
			||||||
      mapAttrs
 | 
					      mapAttrs
 | 
				
			||||||
      (_: {
 | 
					      (_: {
 | 
				
			||||||
        url, path, github, onClone, after
 | 
					        url, path, github, onClone, after, ...
 | 
				
			||||||
      }:
 | 
					      }:
 | 
				
			||||||
        let repoURL = if isNull url then "git@github.com:${github}" else url;
 | 
					        let repoURL = if isNull url then "git@github.com:${github}" else url;
 | 
				
			||||||
        in hm.dag.entryAfter (["writeBoundary"] ++ after) ''
 | 
					        in hm.dag.entryAfter (["writeBoundary"] ++ after) ''
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue