From: SourceForge.net <no...@so...> - 2012-01-19 19:11:23
|
Bugs item #3151730, was opened at 2011-01-05 01:41 Message generated for change (Settings changed) made by ezust You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3151730&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: installer Group: normal bug >Status: Pending >Resolution: Fixed Priority: 5 Private: No Submitted By: Omri Har-Shemesh (omrihar) Assigned to: Nobody/Anonymous (nobody) Summary: deb: Tip of the day not working after update to Ubuntu 10.10 Initial Comment: I updated my operating system to Ubuntu 10.10 Maverick (from 10.04) and since then whenever jEdit launches it announces in the Tip of the day window "doc/tips directory not found". This happened to me on two different computers running Maverick. In the first I only installed jEdit after the update and in the second the other way around. I'm running jEdit 4.3.2 and Java version 1.6.0_20 (according to the jEdit about page), and obviously my OS is Ubuntu 10.10. Thanks, Omri ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2012-01-19 11:11 Message: I see tips fine with debian testing/main jedit all 4.4.2+dfsg-1 I believe it is fixed now on debian's end. ---------------------------------------------------------------------- Comment By: daniel hahler (blueyed) Date: 2011-01-14 14:45 Message: Have you used the package from Maverick to install jedit? This should have been 4.3.2+dfsg-3 then. If there's a bug with the packaging it should get forwarded to http://bugs.debian.org/jedit (the maverick package is synced from Debian). Thank you. ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2011-01-14 09:36 Message: so this is an issue with the debian installer, not the documentation. ---------------------------------------------------------------------- Comment By: Omri Har-Shemesh (omrihar) Date: 2011-01-05 05:22 Message: I've used the debian installer. I've found the doc/tips directory by checking Synaptic for the installed files and it is under /usr/share/doc/jedit/tips however jEdit's home directory is defined to be /usr/share/jedit and settings directory is $HOME/.jedit I haven't found in the settings the way to change the doc/tips directory to that indicated above, how can I do that? It seems to me that probably the debian package changed the location of the tips directory without updating jEdit's settings - is that possible? ---------------------------------------------------------------------- Comment By: Dale Anson (daleanson) Date: 2011-01-05 05:12 Message: The tips work for me. The only difference I have from your set up is I'm running Java 1.6.0_22. Would you check that the tips directory actually exists? The default location for it would be $HOME/jedit/doc/tips. If it is missing, then you probably have a bad installation. Did you use the java installer or the debian installer? ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3151730&group_id=588 |