mirror of
https://github.com/extrawurst/gitui.git
synced 2024-12-28 19:44:14 +03:00
cleanup
This commit is contained in:
parent
4b10b154b3
commit
59c6626125
@ -1,5 +1,3 @@
|
|||||||
// For format details, see https://aka.ms/devcontainer.json. For config options, see the README at:
|
|
||||||
// https://github.com/microsoft/vscode-dev-containers/tree/v0.140.1/containers/rust
|
|
||||||
{
|
{
|
||||||
"name": "Rust",
|
"name": "Rust",
|
||||||
"build": {
|
"build": {
|
||||||
@ -8,7 +6,6 @@
|
|||||||
// Set *default* container specific settings.json values on container create.
|
// Set *default* container specific settings.json values on container create.
|
||||||
"settings": {
|
"settings": {
|
||||||
"terminal.integrated.shell.linux": "/bin/bash",
|
"terminal.integrated.shell.linux": "/bin/bash",
|
||||||
"lldb.executable": "/usr/bin/lldb",
|
|
||||||
// VS Code don't watch files under ./target
|
// VS Code don't watch files under ./target
|
||||||
"files.watcherExclude": {
|
"files.watcherExclude": {
|
||||||
"**/target/**": true
|
"**/target/**": true
|
||||||
@ -17,15 +14,7 @@
|
|||||||
// Add the IDs of extensions you want installed when the container is created.
|
// Add the IDs of extensions you want installed when the container is created.
|
||||||
"extensions": [
|
"extensions": [
|
||||||
"matklad.rust-analyzer",
|
"matklad.rust-analyzer",
|
||||||
"vadimcn.vscode-lldb",
|
"bungcip.better-toml",
|
||||||
"mutantdino.resourcemonitor",
|
|
||||||
"serayuzgur.crates",
|
"serayuzgur.crates",
|
||||||
"ms-vsliveshare.vsliveshare"
|
|
||||||
]
|
]
|
||||||
// Use 'forwardPorts' to make a list of ports inside the container available locally.
|
|
||||||
// "forwardPorts": [],
|
|
||||||
// Use 'postCreateCommand' to run commands after the container is created.
|
|
||||||
// "postCreateCommand": "rustc --version",
|
|
||||||
// Uncomment to connect as a non-root user. See https://aka.ms/vscode-remote/containers/non-root.
|
|
||||||
// "remoteUser": "vscode"
|
|
||||||
}
|
}
|
Loading…
Reference in New Issue
Block a user