mirror of
https://github.com/zed-industries/zed.git
synced 2024-10-06 10:57:40 +03:00
74cba2407f
This makes it possible to have multiple Dockerfiles, each with their own `.dockerignore`. Previously any docker builds would always include anything inside `.dockerignore`. I believe this feature may require `export DOCKER_BUILDKIT=1` but we use that in CI already.
50 lines
982 B
JSON
50 lines
982 B
JSON
{
|
|
"languages": {
|
|
"Markdown": {
|
|
"tab_size": 2,
|
|
"formatter": "prettier"
|
|
},
|
|
"TOML": {
|
|
"formatter": "prettier",
|
|
"format_on_save": "off"
|
|
},
|
|
"YAML": {
|
|
"tab_size": 2,
|
|
"formatter": "prettier"
|
|
},
|
|
"JSON": {
|
|
"tab_size": 2,
|
|
"preferred_line_length": 100,
|
|
"formatter": "prettier"
|
|
},
|
|
"JSONC": {
|
|
"tab_size": 2,
|
|
"preferred_line_length": 100,
|
|
"formatter": "prettier"
|
|
},
|
|
"JavaScript": {
|
|
"tab_size": 2,
|
|
"formatter": "prettier"
|
|
},
|
|
"CSS": {
|
|
"tab_size": 2,
|
|
"formatter": "prettier"
|
|
},
|
|
"Rust": {
|
|
"tasks": {
|
|
"variables": {
|
|
"RUST_DEFAULT_PACKAGE_RUN": "zed"
|
|
}
|
|
}
|
|
}
|
|
},
|
|
"file_types": {
|
|
"Dockerfile": ["Dockerfile*[!dockerignore]"],
|
|
"Git Ignore": ["dockerignore"]
|
|
},
|
|
"hard_tabs": false,
|
|
"formatter": "auto",
|
|
"remove_trailing_whitespace_on_save": true,
|
|
"ensure_final_newline_on_save": true
|
|
}
|