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