From 0c28fbf7a5fd1e6b29a84212c1892470cf2e2f5c Mon Sep 17 00:00:00 2001
From: Mathias Lohne <mathias.lohne@cognite.com>
Date: Sat, 8 Jul 2023 23:08:34 +0200
Subject: [PATCH] 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.
---
 runtime/syntax/groovy.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/runtime/syntax/groovy.yaml b/runtime/syntax/groovy.yaml
index c8d310c3..3aa0e283 100644
--- a/runtime/syntax/groovy.yaml
+++ b/runtime/syntax/groovy.yaml
@@ -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: