<div dir="ltr"><div><div><div><div><div><div><div>The whole point of this exercise (I think) is to try and check if the Eclipse bug I raised <br>is caused by a bug in libwebkitgtk which may be already fixed.<br></div><div><br></div>So if what you say:<br><br>> I'm not sure if such a recent version of webkitgtk will work in a<br>
distribution from 2012<br><br></div>... is true...<br></div><div><br></div>Then maybe the exercise is futile since if what I'm trying to do still doesn't work, we<br></div>wouldn't know to blame it on webkitgtk, eclipse or, more likely the odd mix of 'old + new'<br></div>I am putting together.<br><br></div>BTW I know Ubuntu 12.04 is 'old' but it is an LTS version still supported until April 2017.<br>It actually is pretty stable for me (more so than more recent releases I have tried) so<br></div><div>I'm not keen on breaking my main development machine with an upgrade just to try this<br>out.<br><br></div><div>I have an old laptop at home. I will probably just install 15.x on that and try newer webkitgtk<br></div><div>in its 'natural environment' rather than try and shove it into my older but stable OS.<br><br></div><div>That is, unless someone here has a better idea.<br><br></div><div>Kris<br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Dec 11, 2014 at 4:03 PM, Alberto Garcia <span dir="ltr"><<a href="mailto:berto@igalia.com" target="_blank">berto@igalia.com</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Thu, Dec 11, 2014 at 03:21:14PM -0800, Kris De Volder wrote:<br>
<br>
> I did also find that but I have no idea how (or even if) I can use<br>
> that. I mean I think it is part of the not-yet released Ubuntu<br>
> 'Vivid' and the release I am using (12.04) doesn't have this<br>
> package.<br>
<br>
</span>I'm not sure if such a recent version of webkitgtk will work in a<br>
distribution from 2012, but you might try to build it. Add this to<br>
your /etc/apt/sources.list:<br>
<br>
deb-src <a href="http://archive.ubuntu.com/ubuntu" target="_blank">http://archive.ubuntu.com/ubuntu</a> vivid universe<br>
<br>
And follow these instructions: <a href="http://askubuntu.com/a/246721" target="_blank">http://askubuntu.com/a/246721</a><br>
<br>
Note that building webkit will require a lot of time and disk space.<br>
<div class="HOEnZb"><div class="h5"><br>
Berto<br>
_______________________________________________<br>
webkit-gtk mailing list<br>
<a href="mailto:webkit-gtk@lists.webkit.org">webkit-gtk@lists.webkit.org</a><br>
<a href="https://lists.webkit.org/mailman/listinfo/webkit-gtk" target="_blank">https://lists.webkit.org/mailman/listinfo/webkit-gtk</a><br>
</div></div></blockquote></div></div>