| 
						
						
							
								
							
						
						
					 | 
					 | 
					@ -96,7 +96,7 @@ variable "use_cached" {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					}
 | 
					 | 
					 | 
					 | 
					}
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					
 | 
					 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					variable "extensions_dir" {
 | 
					 | 
					 | 
					 | 
					variable "extensions_dir" {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  type       = string
 | 
					 | 
					 | 
					 | 
					  type        = string
 | 
				
			
			
				
				
			
		
	
		
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  description = "Override the directory to store extensions in. By default extensions are in ~/.local/share/code-server/extensions."
 | 
					 | 
					 | 
					 | 
					  description = "Override the directory to store extensions in. By default extensions are in ~/.local/share/code-server/extensions."
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  default     = ""
 | 
					 | 
					 | 
					 | 
					  default     = ""
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					}
 | 
					 | 
					 | 
					 | 
					}
 | 
				
			
			
		
	
	
		
		
			
				
					| 
						
							
								
							
						
						
						
					 | 
					 | 
					
 
 |