[prev in list] [next in list] [prev in thread] [next in thread]
List: jedit-users
Subject: Re: [ jEdit-users ] Java version confusion
From: Shlomy Reinstein <sreinst1 () gmail ! com>
Date: 2011-03-14 21:27:33
Message-ID: AANLkTi=ULvE15ViDAn1ajQxYPpak4e6wWPe-QaY+vpcF () mail ! gmail ! com
[Download RAW message or body]
[Attachment #2 (multipart/alternative)]
Hi,
I've added the system properties "java.vm.name" and "java.runtime.name" to
the list of properties which are specified at the beginning of the activity
log file. This change will enter the next release of jEdit. Next time, if
you want to check the version of Java that jEdit is currently using, use
Utilities -> Settings Directory -> activity.log
and check the first few lines for these properties.
For now I don't add any specification of these properties using a separate
GUI itself as I originally planned.
Shlomy
On Wed, Mar 9, 2011 at 10:45 PM, Colin Law <clanlaw@googlemail.com> wrote:
> On 9 March 2011 18:10, Robert Schwenn <Robert.Schwenn@kabelmail.de> wrote:
> >
> >> Having adjusted my Ubuntu setup it is now using the Sun version and
> >> the copy/paste problem has gone.
> >>
> >
> > Only to be sure: I guess You only can influence the used java version via
> > editing the jedit start script - see
> > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=606662 . Did You?
>
> I had the default java set to the wrong version in Ubuntu. I guess
> this happened when I somehow installed openjdk. I can switch between
> them by changing the default java spec (using
> update-java-alternatives). I can be sure which one is currently being
> used as they are now different version numbers (_20 and _24).
>
> The referenced bug is not relevant to my installation on Ubuntu
> (whether this is true of all Ubuntu I do not know). My system has a
> startup script /usr/bin/jedit which uses 'which java' to locate the
> java to use.
>
> Colin
>
>
> ------------------------------------------------------------------------------
> Colocation vs. Managed Hosting
> A question and answer guide to determining the best fit
> for your organization - today and in the future.
> http://p.sf.net/sfu/internap-sfd2d
> --
> -----------------------------------------------
> jEdit Users' List
> jEdit-users@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>
[Attachment #5 (text/html)]
<div dir="ltr">Hi,<br><br>I've added the system properties "<a \
href="http://java.vm.name">java.vm.name</a>" and "<a \
href="http://java.runtime.name">java.runtime.name</a>" to the list of properties \
which are specified at the beginning of the activity log file. This change will enter \
the next release of jEdit. Next time, if you want to check the version of Java that \
jEdit is currently using, use Utilities -> Settings Directory -> \
activity.log<br> and check the first few lines for these properties.<br>For now I \
don't add any specification of these properties using a separate GUI itself as I \
originally planned.<br><br>Shlomy<br><br><br><div class="gmail_quote">On Wed, Mar 9, \
2011 at 10:45 PM, Colin Law <span dir="ltr"><<a \
href="mailto:clanlaw@googlemail.com">clanlaw@googlemail.com</a>></span> wrote:<br> \
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px \
solid rgb(204, 204, 204); padding-left: 1ex;"><div class="im">On 9 March 2011 18:10, \
Robert Schwenn <<a \
href="mailto:Robert.Schwenn@kabelmail.de">Robert.Schwenn@kabelmail.de</a>> \
wrote:<br>
><br>
>> Having adjusted my Ubuntu setup it is now using the Sun version and<br>
>> the copy/paste problem has gone.<br>
>><br>
><br>
> Only to be sure: I guess You only can influence the used java version via<br>
> editing the jedit start script - see<br>
> <a href="http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=606662" \
target="_blank">http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=606662</a> . Did \
You?<br> <br>
</div>I had the default java set to the wrong version in Ubuntu. I guess<br>
this happened when I somehow installed openjdk. I can switch between<br>
them by changing the default java spec (using<br>
update-java-alternatives). I can be sure which one is currently being<br>
used as they are now different version numbers (_20 and _24).<br>
<br>
The referenced bug is not relevant to my installation on Ubuntu<br>
(whether this is true of all Ubuntu I do not know). My system has a<br>
startup script /usr/bin/jedit which uses 'which java' to locate the<br>
java to use.<br>
<font color="#888888"><br>
Colin<br>
</font><div><div></div><div class="h5"><br>
------------------------------------------------------------------------------<br>
Colocation vs. Managed Hosting<br>
A question and answer guide to determining the best fit<br>
for your organization - today and in the future.<br>
<a href="http://p.sf.net/sfu/internap-sfd2d" \
target="_blank">http://p.sf.net/sfu/internap-sfd2d</a><br>
--<br>
-----------------------------------------------<br>
jEdit Users' List<br>
<a href="mailto:jEdit-users@lists.sourceforge.net">jEdit-users@lists.sourceforge.net</a><br>
<a href="https://lists.sourceforge.net/lists/listinfo/jedit-users" \
target="_blank">https://lists.sourceforge.net/lists/listinfo/jedit-users</a><br> \
</div></div></blockquote></div><br></div>
------------------------------------------------------------------------------
Colocation vs. Managed Hosting
A question and answer guide to determining the best fit
for your organization - today and in the future.
http://p.sf.net/sfu/internap-sfd2d
--
-----------------------------------------------
jEdit Users' List
jEdit-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-users
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic