You can not select more than 25 topics
			Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
		
		
		
		
		
			
		
			
				
					
					
						
							10 lines
						
					
					
						
							280 B
						
					
					
				
			
		
		
		
			
			
			
				
					
				
				
					
				
			
		
		
	
	
							10 lines
						
					
					
						
							280 B
						
					
					
				| download_git() { | |
|     if [ ! -d "$dir_source/$name/$2" ]; then | |
|         rm -rf "$dir_source/$name/$2" | |
|         git clone --recursive --depth=1 -b "$2" "$1" "$dir_source/$name/$2" | |
|     else | |
|         cd "$dir_source/$name/$2" | |
|         git checkout "tags/$2" | |
|         cd "$OLDPWD" | |
|     fi | |
| }
 | |
| 
 |