chore: add devcontainer
Signed-off-by: tison <wander4096@gmail.com>
This commit is contained in:
parent
378b220933
commit
b4849e7457
20
.devcontainer/devcontainer.json
Normal file
20
.devcontainer/devcontainer.json
Normal file
@ -0,0 +1,20 @@
|
||||
{
|
||||
"name": "OceanBase",
|
||||
"image": "ubuntu:20.04",
|
||||
"mounts": [
|
||||
// "source=${localEnv:HOME}/.cargo/registry,target=/opt/rust/cargo/registry,type=bind,consistency=cached"
|
||||
],
|
||||
"updateRemoteUserUID": true,
|
||||
"postAttachCommand": "bash",
|
||||
"customizations": {
|
||||
"vscode": {
|
||||
"extensions": [
|
||||
"cschleiden.vscode-github-actions",
|
||||
"vadimcn.vscode-lldb"
|
||||
],
|
||||
"settings": {
|
||||
"editor.formatOnSave": true
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
Loading…
x
Reference in New Issue
Block a user