Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jenkins file autodetection #1846

Closed
cce-dsantos opened this issue Sep 8, 2021 · 1 comment · Fixed by #2181
Closed

Jenkins file autodetection #1846

cce-dsantos opened this issue Sep 8, 2021 · 1 comment · Fixed by #2181
Labels
feature-request New feature or request
Milestone

Comments

@cce-dsantos
Copy link

Jenkins is a Ci/CD pipeline platform, to get it working on a, ex github/bitbucket/gitlab, repository a Jenkinsfile needs to be placed on it with groovy syntax.

By default this file is simply named Jenkinsfile or, in some cases, with the extension .jenkinsfile, either cases to get it nicely highlighted one of the bellow options need to be done:

  • bat -l groovy Jenkinsfile
  • bat -l groovy something.jenkinsfile

so that would be a good addition to bat whether it could auto detect a jenkinsfile at set it up to groovy language

@cce-dsantos cce-dsantos added the feature-request New feature or request label Sep 8, 2021
@keith-hall
Copy link
Collaborator

It looks like bat should already pick this up: sublimehq/Packages@e58d996

But we're currently waiting for a release of the syntax highlighting library, syntect, to fix a bug whereby it was using case-sensitive filename/extension matching where it should be insensitive - maybe this is the issue. trishume/syntect#369

@Enselic Enselic added this to the v0.21.0 milestone Mar 30, 2022
Enselic added a commit to Enselic/bat that referenced this issue May 4, 2022
Enselic added a commit that referenced this issue May 7, 2022
* Bump to syntect 5.0.0 to e.g. start lazy-loading themes

Closes #915
Closes #951
Closes #1846
Closes #1854

* Typo fix formated -> formatted

* Update CHANGELOG.md
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature-request New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants