[prev in list] [next in list] [prev in thread] [next in thread]
List: jedit-devel
Subject: Re: [ jEdit-devel ] Source for jedit and plugins
From: Dale Anson <dale () daleanson ! com>
Date: 2016-08-19 12:31:48
Message-ID: CAHrA0wCBkfX+1963uEpZJg6SvDuzqg-XokhiOiT_26o_bo-gAg () mail ! gmail ! com
[Download RAW message or body]
[Attachment #2 (multipart/alternative)]
There is a file in the jEdit source that talks about how to build. Here's a
link to it in svn:
https://sourceforge.net/p/jedit/svn/HEAD/tree/jEdit/trunk/README.SRC.txt
Ant 1.8.2 or later and jdk 1.7 or later should be all you need. Ivy is
downloaded automatically as part of the build, but it's only downloaded
once, so the first time you build it will take longer than the next time.
On Thu, Aug 18, 2016 at 6:23 PM, Edward Diener <
eldlistmailingz@tropicsoft.com> wrote:
> On 8/18/2016 5:07 PM, Dale Anson wrote:
> > Sessions source code is in jEdit's svn repository:
> >
> > https://sourceforge.net/p/jedit/svn/HEAD/tree/plugins/Sessions/
> >
> > Sessions isn't a plugin that I use, but let me know if you need any help
> > building it.
>
> OK, thanks !
>
> I know I asked this in the past before I gave up, but is there any
> written documentation on building jEdit and/or building a plugin ? I am
> not talking about how to write a plugin or anything like that. Just what
> are the steps and the files I need to change in order to build jEdit and
> to build any particular plugin. I have 'ant' installed and in my path.
> Do I need to install 'ivy' ? What else other than a Java JDK do I need ?
>
> >
> > Regarding
> > "I appreciate the help, but would it not behoove jEdit to have the source
> > for every piece of code which is distributed with jEdit available
> > somewhere for other developers to modify locally for themselves, and
> > possible create a PR for also ?"
> > That would be nice, but it's not a requirement for plugins to be hosted
> > within the jEdit project. Some are maintained as separate projects
> > outside of jEdit, for example, the antelope plugin is hosted at
> > tigris.org <http://tigris.org>.
> >
> > Dale
> >
> >
> >
> > On Thu, Aug 18, 2016 at 2:45 PM, Edward Diener
> > <eldlistmailingz@tropicsoft.com <mailto:eldlistmailingz@tropicsoft.com>>
> > wrote:
> >
> > On 8/18/2016 3:33 PM, Dale Anson wrote:
> > > Yes, the jEdit core source code and the source code for many of the
> > > plugins is in subversion. Some plugins are in git. Even older
> plugins
> > > are still in cvs, but I believe none of those are currently being
> > > maintained. As for the plugins in subversion and git, some are
> better
> > > maintained than others. Rather than trying to contact a plugin
> developer
> > > directly, just post to the jedit-dev mailing list or enter a
> tracker.
> > > There is a good chance that someone will get around to fixing the
> issue
> > > or could give you a hand.
> >
> > I appreciate the help, but would it not behoove jEdit to have the
> source
> > for every piece of code which is distributed with jEdit available
> > somewhere for other developers to modifylocally for themselves, and
> > possible create a PR for also ?
> >
> > If no one is interested in a bug report of mine regarding a plugin
> and I
> > fell I can at least fix the bug for myself, shouldn't I have the
> ability
> > to rebuild the plugin from source at least for myself ?
> >
> > I posted a bug regarding the Sessions plugin, which I find very
> useful,
> > at https://sourceforge.net/p/jedit/plugin-bugs/1863/
> > <https://sourceforge.net/p/jedit/plugin-bugs/1863/>. But if no one
> is
> > going to fix it I am willing to do so if I can find the Sessions
> source.
> > But I do not see it on SourceForge.
> >
> > >
> > > It's been discussed several times about moving to github, and
> there is
> > > really no compelling reason to do so. There is a lot of
> infrastructure
> > > to the jEdit project that is built around the sourceforge tools,
> > > infrastructure that would be difficult or impossible to replace on
> > > github. If you're dead set on using git for everything, there is
> git-svn.
> >
> > Forget about Github. It was a bad suggestion given the fact that I do
> > not understand what Sourceforge gives jEdit.
> >
> > Does no one see any significant advantage of moving from Subversion
> to
> > Git ? I think for anyone who has used both that there can be no
> question
> > that Git is far superior in nearly everything, especially having
> other
> > contribute to jEdit and jEdit plugins. I am sure you people who work
> > hard on jEdit for no monetary reward but for the appreciation of
> other
> > programmers would want that.
> >
> > >
> > > Dale
> > >
> > >
> > >
> > > On Thu, Aug 18, 2016 at 10:32 AM, Edward Diener
> > > <eldlistmailingz@tropicsoft.com
> > <mailto:eldlistmailingz@tropicsoft.com>
> > <mailto:eldlistmailingz@tropicsoft.com
> > <mailto:eldlistmailingz@tropicsoft.com>>>
> > > wrote:
> > >
> > > On 8/18/2016 11:45 AM, Eric Le Lay wrote:
> > > > From http://www.jedit.org/index.php?page=devel
> > <http://www.jedit.org/index.php?page=devel>
> > > <http://www.jedit.org/index.php?page=devel
> > <http://www.jedit.org/index.php?page=devel>> second bullet:
> > > > - Browse SVN, Browse Git
> > > >
> > > > From Development Links on the right: Sourceforge Project.
> > >
> > > So the latest jEdit is in subversion but the plugins are in
> git ? What
> > > about a plugin ( such as Sessions ) that is not listed in the
> git
> > > repositories ? Where are they to be found ?
> > >
> > > Wouldn't it have been easier to move everything which is
> distributed as
> > > a jEdit relase to a git repository under Github, with
> submodules for
> > > appropriate plugins and other pieces of the jEdit distribution
> ?
> > >
> > > I used subversion for many years in the past but I have not the
> > > slightest doubt that Git is vastly superior once you learn
> what it can
> > > do. Sourceforge is also a site whose slowdowns and delays have
> been
> > > getting much worse in recent months. Github has to be much
> better.
> > >
> > > OK, I am not trying to change the development culture but just
> make some
> > > fixes of my own locally to some plugins I use where the plugin
> > > developers seem pretty unresponsive ( or non-receptive ) to me.
> > >
> > > >
> > > > Le Thu, 18 Aug 2016 11:27:49 -0400,
> > > > Edward Diener <eldlistmailingz@tropicsoft.com <mailto:
> eldlistmailingz@tropicsoft.com>
> > > <mailto:eldlistmailingz@tropicsoft.com
> > <mailto:eldlistmailingz@tropicsoft.com>>> a écrit :
> > > >
> > > >> On the jEdit development page at
> > > >> http://www.jedit.org/index.php?page=devel
> > <http://www.jedit.org/index.php?page=devel>
> > > <http://www.jedit.org/index.php?page=devel
> > <http://www.jedit.org/index.php?page=devel>> there is little
> indication
> > > >> of where the jEdit source code currently resides or where
> > the source
> > > >> code for the plugins shipped with jEdit currently resides.
> > Where can
> > > >> I find this information ?
> > > >>
>
>
>
> ------------------------------------------------------------
> ------------------
> --
> -----------------------------------------------
> jEdit Developers' List
> jEdit-devel@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>
[Attachment #5 (text/html)]
<div dir="ltr">There is a file in the jEdit source that talks about how to build. \
Here's a link to it in svn:<div><br></div><div><a \
href="https://sourceforge.net/p/jedit/svn/HEAD/tree/jEdit/trunk/README.SRC.txt">https: \
//sourceforge.net/p/jedit/svn/HEAD/tree/jEdit/trunk/README.SRC.txt</a><br></div><div><br></div><div>Ant \
1.8.2 or later and jdk 1.7 or later should be all you need. Ivy is downloaded \
automatically as part of the build, but it's only downloaded once, so the first \
time you build it will take longer than the next \
time.</div><div><br></div><div><br></div></div><div class="gmail_extra"><br><div \
class="gmail_quote">On Thu, Aug 18, 2016 at 6:23 PM, Edward Diener <span \
dir="ltr"><<a href="mailto:eldlistmailingz@tropicsoft.com" \
target="_blank">eldlistmailingz@tropicsoft.com</a>></span> wrote:<br><blockquote \
class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc \
solid;padding-left:1ex"><span class="">On 8/18/2016 5:07 PM, Dale Anson wrote:<br> \
> Sessions source code is in jEdit's svn repository:<br> ><br>
> <a href="https://sourceforge.net/p/jedit/svn/HEAD/tree/plugins/Sessions/" \
rel="noreferrer" target="_blank">https://sourceforge.net/p/<wbr>jedit/svn/HEAD/tree/plugins/<wbr>Sessions/</a><br>
><br>
> Sessions isn't a plugin that I use, but let me know if you need any help<br>
> building it.<br>
<br>
</span>OK, thanks !<br>
<br>
I know I asked this in the past before I gave up, but is there any<br>
written documentation on building jEdit and/or building a plugin ? I am<br>
not talking about how to write a plugin or anything like that. Just what<br>
are the steps and the files I need to change in order to build jEdit and<br>
to build any particular plugin. I have 'ant' installed and in my path.<br>
Do I need to install 'ivy' ? What else other than a Java JDK do I need ?<br>
<span class=""><br>
><br>
> Regarding<br>
> "I appreciate the help, but would it not behoove jEdit to have the \
source<br> > for every piece of code which is distributed with jEdit available<br>
> somewhere for other developers to modify locally for themselves, and<br>
> possible create a PR for also ?"<br>
> That would be nice, but it's not a requirement for plugins to be hosted<br>
> within the jEdit project. Some are maintained as separate projects<br>
> outside of jEdit, for example, the antelope plugin is hosted at<br>
</span>> <a href="http://tigris.org" rel="noreferrer" \
target="_blank">tigris.org</a> <<a href="http://tigris.org" rel="noreferrer" \
target="_blank">http://tigris.org</a>>.<br> <span class="">><br>
> Dale<br>
><br>
><br>
><br>
> On Thu, Aug 18, 2016 at 2:45 PM, Edward Diener<br>
</span>> <<a href="mailto:eldlistmailingz@tropicsoft.com">eldlistmailingz@tropicsoft.<wbr>com</a> \
<mailto:<a href="mailto:eldlistmailingz@tropicsoft.com">eldlistmailingz@<wbr>tropicsoft.com</a>>><br>
<span class="">> wrote:<br>
><br>
> On 8/18/2016 3:33 PM, Dale Anson wrote:<br>
> > Yes, the jEdit core source code and the source code for many of \
the<br> > > plugins is in subversion. Some plugins are in git. Even \
older plugins<br> > > are still in cvs, but I believe none of those are \
currently being<br> > > maintained. As for the plugins in subversion and \
git, some are better<br> > > maintained than others. Rather than trying \
to contact a plugin developer<br> > > directly, just post to the \
jedit-dev mailing list or enter a tracker.<br> > > There is a good \
chance that someone will get around to fixing the issue<br> > > or could \
give you a hand.<br> ><br>
> I appreciate the help, but would it not behoove jEdit to have the \
source<br> > for every piece of code which is distributed with jEdit \
available<br> > somewhere for other developers to modifylocally for \
themselves, and<br> > possible create a PR for also ?<br>
><br>
> If no one is interested in a bug report of mine regarding a plugin and \
I<br> > fell I can at least fix the bug for myself, shouldn't I have \
the ability<br> > to rebuild the plugin from source at least for myself \
?<br> ><br>
> I posted a bug regarding the Sessions plugin, which I find very \
useful,<br> > at <a \
href="https://sourceforge.net/p/jedit/plugin-bugs/1863/" rel="noreferrer" \
target="_blank">https://sourceforge.net/p/<wbr>jedit/plugin-bugs/1863/</a><br> \
</span>> <<a href="https://sourceforge.net/p/jedit/plugin-bugs/1863/" \
rel="noreferrer" target="_blank">https://sourceforge.net/p/<wbr>jedit/plugin-bugs/1863/</a>>. \
But if no one is<br> <span class="">> going to fix it I am willing to do so \
if I can find the Sessions source.<br> > But I do not see it on \
SourceForge.<br> ><br>
> ><br>
> > It's been discussed several times about moving to github, and \
there is<br> > > really no compelling reason to do so. There is a lot of \
infrastructure<br> > > to the jEdit project that is built around the \
sourceforge tools,<br> > > infrastructure that would be difficult or \
impossible to replace on<br> > > github. If you're dead set on using \
git for everything, there is git-svn.<br> ><br>
> Forget about Github. It was a bad suggestion given the fact that I do<br>
> not understand what Sourceforge gives jEdit.<br>
><br>
> Does no one see any significant advantage of moving from Subversion \
to<br> > Git ? I think for anyone who has used both that there can be no \
question<br> > that Git is far superior in nearly everything, especially \
having other<br> > contribute to jEdit and jEdit plugins. I am sure you \
people who work<br> > hard on jEdit for no monetary reward but for the \
appreciation of other<br> > programmers would want that.<br>
><br>
> ><br>
> > Dale<br>
> ><br>
> ><br>
> ><br>
> > On Thu, Aug 18, 2016 at 10:32 AM, Edward Diener<br>
> > <<a \
href="mailto:eldlistmailingz@tropicsoft.com">eldlistmailingz@tropicsoft.<wbr>com</a><br>
> <mailto:<a \
href="mailto:eldlistmailingz@tropicsoft.com">eldlistmailingz@<wbr>tropicsoft.com</a>><br>
</span>> <mailto:<a \
href="mailto:eldlistmailingz@tropicsoft.com">eldlistmailingz@<wbr>tropicsoft.com</a><br>
<span class="">> <mailto:<a \
href="mailto:eldlistmailingz@tropicsoft.com">eldlistmailingz@<wbr>tropicsoft.com</a>>>><br>
> > wrote:<br>
> ><br>
> > On 8/18/2016 11:45 AM, Eric Le Lay wrote:<br>
> > > From <a href="http://www.jedit.org/index.php?page=devel" \
rel="noreferrer" target="_blank">http://www.jedit.org/index.<wbr>php?page=devel</a><br>
> <<a href="http://www.jedit.org/index.php?page=devel" rel="noreferrer" \
target="_blank">http://www.jedit.org/index.<wbr>php?page=devel</a>><br> > \
> <<a href="http://www.jedit.org/index.php?page=devel" rel="noreferrer" \
target="_blank">http://www.jedit.org/index.<wbr>php?page=devel</a><br> > \
<<a href="http://www.jedit.org/index.php?page=devel" rel="noreferrer" \
target="_blank">http://www.jedit.org/index.<wbr>php?page=devel</a>>> second \
bullet:<br> > > > - Browse SVN, Browse Git<br>
> > ><br>
> > > From Development Links on the right: Sourceforge \
Project.<br> > ><br>
> > So the latest jEdit is in subversion but the plugins are in \
git ? What<br> > > about a plugin ( such as Sessions ) that is \
not listed in the git<br> > > repositories ? Where are they to be \
found ?<br> > ><br>
> > Wouldn't it have been easier to move everything which is \
distributed as<br> > > a jEdit relase to a git repository under \
Github, with submodules for<br> > > appropriate plugins and other \
pieces of the jEdit distribution ?<br> > ><br>
> > I used subversion for many years in the past but I have not \
the<br> > > slightest doubt that Git is vastly superior once you \
learn what it can<br> > > do. Sourceforge is also a site whose \
slowdowns and delays have been<br> > > getting much worse in \
recent months. Github has to be much better.<br> > ><br>
> > OK, I am not trying to change the development culture but \
just make some<br> > > fixes of my own locally to some plugins I \
use where the plugin<br> > > developers seem pretty unresponsive \
( or non-receptive ) to me.<br> > ><br>
> > ><br>
> > > Le Thu, 18 Aug 2016 11:27:49 -0400,<br>
> > > Edward Diener <<a \
href="mailto:eldlistmailingz@tropicsoft.com">eldlistmailingz@tropicsoft.<wbr>com</a> \
<mailto:<a href="mailto:eldlistmailingz@tropicsoft.com">eldlistmailingz@<wbr>tropicsoft.com</a>><br>
</span>> > <mailto:<a \
href="mailto:eldlistmailingz@tropicsoft.com">eldlistmailingz@<wbr>tropicsoft.com</a><br>
<div class="HOEnZb"><div class="h5">> <mailto:<a \
href="mailto:eldlistmailingz@tropicsoft.com">eldlistmailingz@<wbr>tropicsoft.com</a>>>> \
a écrit :<br> > > ><br>
> > >> On the jEdit development page at<br>
> > >> <a href="http://www.jedit.org/index.php?page=devel" \
rel="noreferrer" target="_blank">http://www.jedit.org/index.<wbr>php?page=devel</a><br>
> <<a href="http://www.jedit.org/index.php?page=devel" rel="noreferrer" \
target="_blank">http://www.jedit.org/index.<wbr>php?page=devel</a>><br> > \
> <<a href="http://www.jedit.org/index.php?page=devel" rel="noreferrer" \
target="_blank">http://www.jedit.org/index.<wbr>php?page=devel</a><br> > \
<<a href="http://www.jedit.org/index.php?page=devel" rel="noreferrer" \
target="_blank">http://www.jedit.org/index.<wbr>php?page=devel</a>>> there is \
little indication<br> > > >> of where the jEdit source code \
currently resides or where<br> > the source<br>
> > >> code for the plugins shipped with jEdit currently \
resides.<br> > Where can<br>
> > >> I find this information ?<br>
> > >><br>
<br>
<br>
<br>
------------------------------<wbr>------------------------------<wbr>------------------<br>
--<br>
------------------------------<wbr>-----------------<br>
jEdit Developers' List<br>
<a href="mailto:jEdit-devel@lists.sourceforge.net">jEdit-devel@lists.sourceforge.<wbr>net</a><br>
<a href="https://lists.sourceforge.net/lists/listinfo/jedit-devel" rel="noreferrer" \
target="_blank">https://lists.sourceforge.net/<wbr>lists/listinfo/jedit-devel</a><br> \
</div></div></blockquote></div><br></div>
------------------------------------------------------------------------------
--
-----------------------------------------------
jEdit Developers' List
jEdit-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic