On Thu, May 14, 2020 at 12:22 PM Kris Z <krisdevelope...@gmail.com> wrote:
> I'm not sure how to define "huge deal". I think it really has to do with > someone not thinking things through when they document on the Jenkins > website: https://www.jenkins.io/doc/pipeline/tour/hello-world/ . > > Thanks for your interest. The "getting started <https://www.jenkins.io/doc/book/pipeline/getting-started/>" page includes a suggestion to use the shebang line at the top of the file. It says: [image: image.png] I scoured other training material and I see people that call themselves > "trainers" (especially on YouTube) and create files that have a ".pipeline" > extension. Which is wrong. If the file is a Groovy scripting language it > should be named "pipeline_x.groovy". This way the development tools on > Linux can automatically perform syntax highlighting and file type assesment. > > I've never encountered anyone that suggests creating a Jenkinsfile with a ".pipeline" extension. That file name wouldn't help me. I disagree that the file name should be Jenkinsfile.groovy, especially since I don't find the declarative pipeline syntax to feel much like groovy and there are many places where the Jenkinsfile DSL is not groovy, but rather a subset of groovy that was intentionally selected when the domain specific language was being defined. > How could I submit a defect against the documentation to have this looked > at and changed? > Each documentation page includes links in the lower left corner of the page. One of those links is "Improve this page". The other is "Report a problem". Thanks, Mark Waite > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to jenkinsci-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-users/23d00a11-4458-4e72-8e7c-76846b56ce4d%40googlegroups.com > <https://groups.google.com/d/msgid/jenkinsci-users/23d00a11-4458-4e72-8e7c-76846b56ce4d%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/CAO49JtFRbSWikgiboaOxzEbyd%3D8VCYzRqgj2GdvrOjPd0__DEQ%40mail.gmail.com.
