1{ 2 "name": "optee-os-docker", 3 "build": { 4 "dockerfile": "Dockerfile.vscode" 5 }, 6 7 "customizations": { 8 "vscode": { 9 "settings": { 10 "terminal.integrated.profiles.linux": { 11 "bash": { 12 "path": "/bin/bash", 13 "args": ["-l"] 14 } 15 }, 16 "terminal.integrated.defaultProfile.linux": "bash" 17 }, 18 "extensions": [ 19 "ms-vscode.cpptools", 20 "eamodio.gitlens" 21 ] 22 } 23 }, 24 25 // Map the host .ssh folder into the container for a seamless ssh experience 26 "mounts": [ 27 "source=${localEnv:HOME}${localEnv:USERPROFILE}/.ssh,target=/home/optee/.ssh,type=bind,consistency=cached" 28 ] 29} 30