| 
						
						
							
								
							
						
						
					 | 
					 | 
					@ -72,14 +72,12 @@ for extension in "$${EXTENSIONLIST[@]}"; do
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  output=$($VSCODE_WEB "$EXTENSION_ARG" --install-extension "$extension" --force)
 | 
					 | 
					 | 
					 | 
					  output=$($VSCODE_WEB "$EXTENSION_ARG" --install-extension "$extension" --force)
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  if [ $? -ne 0 ]; then
 | 
					 | 
					 | 
					 | 
					  if [ $? -ne 0 ]; then
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    echo "Failed to install extension: $extension: $output"
 | 
					 | 
					 | 
					 | 
					    echo "Failed to install extension: $extension: $output"
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    exit 1
 | 
					 | 
					 | 
					 | 
					 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  fi
 | 
					 | 
					 | 
					 | 
					  fi
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					done
 | 
					 | 
					 | 
					 | 
					done
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					
 | 
					 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					if [ "${AUTO_INSTALL_EXTENSIONS}" = true ]; then
 | 
					 | 
					 | 
					 | 
					if [ "${AUTO_INSTALL_EXTENSIONS}" = true ]; then
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  if ! command -v jq > /dev/null; then
 | 
					 | 
					 | 
					 | 
					  if ! command -v jq > /dev/null; then
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    echo "jq is required to install extensions from a workspace file."
 | 
					 | 
					 | 
					 | 
					    echo "jq is required to install extensions from a workspace file."
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    exit 0
 | 
					 | 
					 | 
					 | 
					 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  fi
 | 
					 | 
					 | 
					 | 
					  fi
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					
 | 
					 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  WORKSPACE_DIR="$HOME"
 | 
					 | 
					 | 
					 | 
					  WORKSPACE_DIR="$HOME"
 | 
				
			
			
		
	
	
		
		
			
				
					| 
						
							
								
							
						
						
						
					 | 
					 | 
					
 
 |