echo, not info
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
		
					parent
					
						
							
								dfd0eefb91
							
						
					
				
			
			
				commit
				
					
						df58c4e5f5
					
				
			
		
					 1 changed files with 1 additions and 1 deletions
				
			
		| 
						 | 
					@ -27,7 +27,7 @@ set -ue
 | 
				
			||||||
 | 
					
 | 
				
			||||||
__cdist_target_host="$1"; shift
 | 
					__cdist_target_host="$1"; shift
 | 
				
			||||||
 | 
					
 | 
				
			||||||
__cdist_info "Running global explorers ..."
 | 
					__cdist_echo info "Running global explorers ..."
 | 
				
			||||||
 | 
					
 | 
				
			||||||
# copy the explorers
 | 
					# copy the explorers
 | 
				
			||||||
cdist-dir push "$__cdist_target_host" \
 | 
					cdist-dir push "$__cdist_target_host" \
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue