languages: add .dockerfile extension (#1330)

Many folks use `.dockerfile` as an extension for dockerfiles in addition to plain `Dockerfile`. This change associates both file extensions with dockerfile syntax highlighting
pull/823/head^2
Dylan Richardson 3 years ago committed by GitHub
parent dba22c60ed
commit 34766e242a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -473,7 +473,7 @@ name = "dockerfile"
scope = "source.dockerfile" scope = "source.dockerfile"
injection-regex = "docker|dockerfile" injection-regex = "docker|dockerfile"
roots = ["Dockerfile"] roots = ["Dockerfile"]
file-types = ["Dockerfile"] file-types = ["Dockerfile", "dockerfile"]
comment-token = "#" comment-token = "#"
indent = { tab-width = 2, unit = " " } indent = { tab-width = 2, unit = " " }
language-server = { command = "docker-langserver", args = ["--stdio"] } language-server = { command = "docker-langserver", args = ["--stdio"] }

Loading…
Cancel
Save