search

de-jcup / eclipse-jenkins-editor

Jenkins Editor - A eclipse plugin to edit "Jenkinsfile" files
https://marketplace.eclipse.org/content/jenkins-editor
Apache License 2.0
45 stars 5 forks source link

Get listed on https://jenkins.io/doc/book/pipeline/development/ #8

Closed paulvi closed 6 years ago

paulvi commented 7 years ago

https://jenkins.io/doc/book/pipeline/development/ lists some tools, including 3rd party's

There should be a way for this plugin to be listed there.

de-jcup commented 6 years ago

It is possible to improve the site with editing a fork - either by directly edit https://github.com/jenkins-infra/jenkins.io/edit/master/content//doc/book/pipeline/development.adoc

or by a fork + pull request...

So I created a fork at https://github.com/de-jcup/jenkins.io

I will add Jenkins Editor description with upcoming release 1.0.0 of JenkinsEditor which will be stable.

de-jcup commented 6 years ago

Did a pull request to get listed - see https://github.com/jenkins-infra/jenkins.io/pull/1339

paulvi commented 6 years ago

DONE https://jenkins.io/doc/book/pipeline/development/#eclipse-jenkins-editor