mirror of
https://github.com/zyedidia/micro.git
synced 2024-09-11 04:05:38 +03:00
Add support for Jenkinsfile syntax (#2750)
Build pipelines for the Jenkins build system are configured in Groovy, however since their filename is always `Jenkinsfile`, micro doesn't recognize them as Groovy, and doesn't add syntax highlighting. This small commit simply adds `Jenkinsfile` and `jenkinsfile` as file names recognized as Groovy.
This commit is contained in:
parent
b02afb1116
commit
0c28fbf7a5
@ -1,7 +1,7 @@
|
||||
filetype: groovy
|
||||
|
||||
detect:
|
||||
filename: "\\.(groovy|gy|gvy|gsh|gradle)$"
|
||||
filename: "(\\.(groovy|gy|gvy|gsh|gradle)$|^[Jj]enkinsfile$)"
|
||||
header: "^#!.*/(env +)?groovy *$"
|
||||
|
||||
rules:
|
||||
|
Loading…
Reference in New Issue
Block a user