feat(devcontainer): Use HDDL TP devcontainer.json
This commit is contained in:
		
							parent
							
								
									5039579252
								
							
						
					
					
						commit
						73ddcb259d
					
				
							
								
								
									
										33
									
								
								.devcontainer/devcontainer.json
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										33
									
								
								.devcontainer/devcontainer.json
									
									
									
									
									
										Normal file
									
								
							@ -0,0 +1,33 @@
 | 
			
		||||
// For format details, see https://aka.ms/devcontainer.json. For config options, see the
 | 
			
		||||
// README at: https://github.com/devcontainers/templates/tree/main/src/docker-existing-dockerfile
 | 
			
		||||
{
 | 
			
		||||
	"name": "Development Container",
 | 
			
		||||
	"build": {
 | 
			
		||||
		// Sets the run context to one level up instead of the .devcontainer folder.
 | 
			
		||||
		"context": "..",
 | 
			
		||||
		// Update the 'dockerFile' property if you aren't using the standard 'Dockerfile' filename.
 | 
			
		||||
		"dockerfile": "Dockerfile"
 | 
			
		||||
	},
 | 
			
		||||
 | 
			
		||||
	// Features to add to the dev container. More info: https://containers.dev/features.
 | 
			
		||||
	// "features": {},
 | 
			
		||||
 | 
			
		||||
	// Use 'forwardPorts' to make a list of ports inside the container available locally.
 | 
			
		||||
	// "forwardPorts": [],
 | 
			
		||||
 | 
			
		||||
	// Uncomment the next line to run commands after the container is created.
 | 
			
		||||
	// "postCreateCommand": "cat /etc/os-release",
 | 
			
		||||
 | 
			
		||||
	// Configure tool-specific properties.
 | 
			
		||||
	"customizations": {
 | 
			
		||||
		"vscode": {
 | 
			
		||||
			"extensions": [
 | 
			
		||||
				"ms-python.python",
 | 
			
		||||
				"ms-toolsai.jupyter"
 | 
			
		||||
			]
 | 
			
		||||
		}
 | 
			
		||||
	}
 | 
			
		||||
 | 
			
		||||
	// Uncomment to connect as an existing user other than the container default. More info: https://aka.ms/dev-containers-non-root.
 | 
			
		||||
	// "remoteUser": "devcontainer"
 | 
			
		||||
}
 | 
			
		||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user