From: George H. <gh...@gm...> - 2012-10-25 15:27:32
|
I just upgraded jEdit from 4.3.1 to 4.5.2 and have run into a snag downloading plugins. The Plugin Manager is attempting install .jars in the Windows 'Program Files' directory, but this is protected so the operation fails. I think I really need to install them in the jEdit user directory, but can't see how to do this. The 4.5.2 User Manual says By default, the plugin manager does not download plugin source code, and installs the downloaded plugins in the jars subdirectory of the user-specific settings directory. These settings can be changed in Plugin Manager pane of the Utilities>Global Options dialog box; see the section called “The Plugin Manager Pane”. However, when I look at the options dialog box, under the legend "install plugins in" is a selected radio button saying "jEdit application directory" which is consistent with what is happening, but not with the manual. However, no alternative is offered, nor can I de-select this button. -- "One can live magnificently in this world if one knows how to work and how to love." -- Leo Tolstoy |
From: Dale A. <da...@gr...> - 2012-10-25 16:08:26
|
How are you starting jEdit? If you are using the -nosettings option when starting jEdit, the option to store plugins in the user directory is not available. If you're not sure, you can check Utilities - Troubleshooting - Activity Log, and the specific parameters that jEdit started with will be shown in the first 20 lines or so. Dale On Thu, Oct 25, 2012 at 9:27 AM, George Hovey <gh...@gm...> wrote: > I just upgraded jEdit from 4.3.1 to 4.5.2 and have run into a snag > downloading plugins. The Plugin Manager is attempting install .jars in > the Windows 'Program Files' directory, but this is protected so the > operation fails. > > I think I really need to install them in the jEdit user directory, but > can't see how to do this. The 4.5.2 User Manual says > > By default, the plugin manager does not download plugin source code, and > installs the downloaded plugins in the jars subdirectory of the > user-specific settings directory. These settings can be changed in Plugin > Manager pane of the Utilities>Global Options dialog box; see the section > called “The Plugin Manager Pane”. > > However, when I look at the options dialog box, under the legend "install > plugins in" is a selected radio button saying "jEdit application directory" > which is consistent with what is happening, but not with the manual. > However, no alternative is offered, nor can I de-select this button. > > -- > "One can live magnificently in this world if one knows how to work and how > to love." -- Leo Tolstoy > > > ------------------------------------------------------------------------------ > Everyone hates slow websites. So do we. > Make your web apps faster with AppDynamics > Download AppDynamics Lite for free today: > http://p.sf.net/sfu/appdyn_sfd2d_oct > -- > ----------------------------------------------- > jEdit Users' List > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-users > > |
From: Dale A. <da...@gr...> - 2012-10-25 17:09:39
|
Yeah, the activity log only shows the last 500 lines of the file, so if jEdit has been on for a while, the start of the file won't be shown. You can open the complete file by going to Utilities - Settings Directory - activity.log. That will open it in directly in jEdit. Hopefully someone that knows more about the Windows installer will reply. I downloaded the 4.5.2 Windows installer a few minutes ago, when through the installation, used all of the default settings. My settings directory was automatically set as C:\Users\danson\.jedit, which then allows me to save plugins there. I'm not sure why yours would be different. A workaround would be to modify the link that starts jEdit and add the -settings parameter and specify a writeable directory. Dale On Thu, Oct 25, 2012 at 10:24 AM, George Hovey <gh...@gm...> wrote: > The command issued from the Start Menu is > > C:\Windows\SysWOW64\javaw.exe -Xmx192M -jar "C:\Program > Files\jEdit\jedit.jar" -reuseview > > The Activity Log is not as you describe (see attachment). > > > On Thu, Oct 25, 2012 at 11:43 AM, Dale Anson <da...@gr...> wrote: > >> How are you starting jEdit? If you are using the -nosettings option when >> starting jEdit, the option to store plugins in the user directory is not >> available. If you're not sure, you can check Utilities - Troubleshooting - >> Activity Log, and the specific parameters that jEdit started with will be >> shown in the first 20 lines or so. >> >> Dale >> >> >> On Thu, Oct 25, 2012 at 9:27 AM, George Hovey <gh...@gm...> wrote: >> >>> I just upgraded jEdit from 4.3.1 to 4.5.2 and have run into a snag >>> downloading plugins. The Plugin Manager is attempting install .jars in >>> the Windows 'Program Files' directory, but this is protected so the >>> operation fails. >>> >>> I think I really need to install them in the jEdit user directory, but >>> can't see how to do this. The 4.5.2 User Manual says >>> >>> By default, the plugin manager does not download plugin source code, and >>> installs the downloaded plugins in the jars subdirectory of the >>> user-specific settings directory. These settings can be changed in Plugin >>> Manager pane of the Utilities>Global Options dialog box; see the section >>> called “The Plugin Manager Pane”. >>> >>> However, when I look at the options dialog box, under the legend >>> "install plugins in" is a selected radio button saying "jEdit application >>> directory" which is consistent with what is happening, but not with the >>> manual. However, no alternative is offered, nor can I de-select this >>> button. >>> >>> -- >>> "One can live magnificently in this world if one knows how to work and >>> how to love." -- Leo Tolstoy >>> >>> >>> ------------------------------------------------------------------------------ >>> Everyone hates slow websites. So do we. >>> Make your web apps faster with AppDynamics >>> Download AppDynamics Lite for free today: >>> http://p.sf.net/sfu/appdyn_sfd2d_oct >>> -- >>> ----------------------------------------------- >>> jEdit Users' List >>> jEd...@li... >>> https://lists.sourceforge.net/lists/listinfo/jedit-users >>> >>> >> > > > -- > "One can live magnificently in this world if one knows how to work and how > to love." -- Leo Tolstoy > |
From: George H. <gh...@gm...> - 2012-10-25 18:16:19
|
This seems to have blown over. I realized that I couldn't remember whether I had started 4.5.2 from the start menu, or whether it was started by the installer. So I restarted and it worked, and AFAICS is working correctly. Unfortunately, I did not have the wit to save the full Activity Log before the restart, so that clue is lost. One tidbit: on the bad Plugin Manager window only the default mirror site was filled in; while afterwards there was an extensive list. Dale and Alan, thanks for jumping on this so quickly. On Thu, Oct 25, 2012 at 1:09 PM, Dale Anson <da...@gr...> wrote: > Yeah, the activity log only shows the last 500 lines of the file, so if > jEdit has been on for a while, the start of the file won't be shown. You > can open the complete file by going to Utilities - Settings Directory - > activity.log. That will open it in directly in jEdit. > > Hopefully someone that knows more about the Windows installer will reply. > I downloaded the 4.5.2 Windows installer a few minutes ago, when through > the installation, used all of the default settings. My settings directory > was automatically set as C:\Users\danson\.jedit, which then allows me to > save plugins there. I'm not sure why yours would be different. > > A workaround would be to modify the link that starts jEdit and add the > -settings parameter and specify a writeable directory. > > Dale > > > > On Thu, Oct 25, 2012 at 10:24 AM, George Hovey <gh...@gm...> wrote: > >> The command issued from the Start Menu is >> >> C:\Windows\SysWOW64\javaw.exe -Xmx192M -jar "C:\Program >> Files\jEdit\jedit.jar" -reuseview >> >> The Activity Log is not as you describe (see attachment). >> >> >> On Thu, Oct 25, 2012 at 11:43 AM, Dale Anson <da...@gr...> wrote: >> >>> How are you starting jEdit? If you are using the -nosettings option when >>> starting jEdit, the option to store plugins in the user directory is not >>> available. If you're not sure, you can check Utilities - Troubleshooting - >>> Activity Log, and the specific parameters that jEdit started with will be >>> shown in the first 20 lines or so. >>> >>> Dale >>> >>> >>> On Thu, Oct 25, 2012 at 9:27 AM, George Hovey <gh...@gm...> wrote: >>> >>>> I just upgraded jEdit from 4.3.1 to 4.5.2 and have run into a snag >>>> downloading plugins. The Plugin Manager is attempting install .jars in >>>> the Windows 'Program Files' directory, but this is protected so the >>>> operation fails. >>>> >>>> I think I really need to install them in the jEdit user directory, but >>>> can't see how to do this. The 4.5.2 User Manual says >>>> >>>> By default, the plugin manager does not download plugin source code, >>>> and installs the downloaded plugins in the jars subdirectory of the >>>> user-specific settings directory. These settings can be changed in Plugin >>>> Manager pane of the Utilities>Global Options dialog box; see the section >>>> called “The Plugin Manager Pane”. >>>> >>>> However, when I look at the options dialog box, under the legend >>>> "install plugins in" is a selected radio button saying "jEdit application >>>> directory" which is consistent with what is happening, but not with the >>>> manual. However, no alternative is offered, nor can I de-select this >>>> button. >>>> >>>> -- >>>> "One can live magnificently in this world if one knows how to work and >>>> how to love." -- Leo Tolstoy >>>> >>>> >>>> ------------------------------------------------------------------------------ >>>> Everyone hates slow websites. So do we. >>>> Make your web apps faster with AppDynamics >>>> Download AppDynamics Lite for free today: >>>> http://p.sf.net/sfu/appdyn_sfd2d_oct >>>> -- >>>> ----------------------------------------------- >>>> jEdit Users' List >>>> jEd...@li... >>>> https://lists.sourceforge.net/lists/listinfo/jedit-users >>>> >>>> >>> >> >> >> -- >> "One can live magnificently in this world if one knows how to work and >> how to love." -- Leo Tolstoy >> > > -- "One can live magnificently in this world if one knows how to work and how to love." -- Leo Tolstoy |
From: Dale A. <da...@gr...> - 2012-10-25 18:36:19
|
Glad it worked out. On Thu, Oct 25, 2012 at 12:16 PM, George Hovey <gh...@gm...> wrote: > This seems to have blown over. I realized that I couldn't remember > whether I had started 4.5.2 from the start menu, or whether it was started > by the installer. So I restarted and it worked, and AFAICS is working > correctly. > > Unfortunately, I did not have the wit to save the full Activity Log before > the restart, so that clue is lost. One tidbit: on the bad Plugin Manager > window only the default mirror site was filled in; while afterwards there > was an extensive list. > > Dale and Alan, thanks for jumping on this so quickly. > > > On Thu, Oct 25, 2012 at 1:09 PM, Dale Anson <da...@gr...> wrote: > >> Yeah, the activity log only shows the last 500 lines of the file, so if >> jEdit has been on for a while, the start of the file won't be shown. You >> can open the complete file by going to Utilities - Settings Directory - >> activity.log. That will open it in directly in jEdit. >> >> Hopefully someone that knows more about the Windows installer will reply. >> I downloaded the 4.5.2 Windows installer a few minutes ago, when through >> the installation, used all of the default settings. My settings directory >> was automatically set as C:\Users\danson\.jedit, which then allows me to >> save plugins there. I'm not sure why yours would be different. >> >> A workaround would be to modify the link that starts jEdit and add the >> -settings parameter and specify a writeable directory. >> >> Dale >> >> >> >> On Thu, Oct 25, 2012 at 10:24 AM, George Hovey <gh...@gm...> wrote: >> >>> The command issued from the Start Menu is >>> >>> C:\Windows\SysWOW64\javaw.exe -Xmx192M -jar "C:\Program >>> Files\jEdit\jedit.jar" -reuseview >>> >>> The Activity Log is not as you describe (see attachment). >>> >>> >>> On Thu, Oct 25, 2012 at 11:43 AM, Dale Anson <da...@gr...>wrote: >>> >>>> How are you starting jEdit? If you are using the -nosettings option >>>> when starting jEdit, the option to store plugins in the user directory is >>>> not available. If you're not sure, you can check Utilities - >>>> Troubleshooting - Activity Log, and the specific parameters that jEdit >>>> started with will be shown in the first 20 lines or so. >>>> >>>> Dale >>>> >>>> >>>> On Thu, Oct 25, 2012 at 9:27 AM, George Hovey <gh...@gm...> wrote: >>>> >>>>> I just upgraded jEdit from 4.3.1 to 4.5.2 and have run into a snag >>>>> downloading plugins. The Plugin Manager is attempting install .jars in >>>>> the Windows 'Program Files' directory, but this is protected so the >>>>> operation fails. >>>>> >>>>> I think I really need to install them in the jEdit user directory, but >>>>> can't see how to do this. The 4.5.2 User Manual says >>>>> >>>>> By default, the plugin manager does not download plugin source code, >>>>> and installs the downloaded plugins in the jars subdirectory of the >>>>> user-specific settings directory. These settings can be changed in Plugin >>>>> Manager pane of the Utilities>Global Options dialog box; see the section >>>>> called “The Plugin Manager Pane”. >>>>> >>>>> However, when I look at the options dialog box, under the legend >>>>> "install plugins in" is a selected radio button saying "jEdit application >>>>> directory" which is consistent with what is happening, but not with the >>>>> manual. However, no alternative is offered, nor can I de-select this >>>>> button. >>>>> >>>>> -- >>>>> "One can live magnificently in this world if one knows how to work and >>>>> how to love." -- Leo Tolstoy >>>>> >>>>> >>>>> ------------------------------------------------------------------------------ >>>>> Everyone hates slow websites. So do we. >>>>> Make your web apps faster with AppDynamics >>>>> Download AppDynamics Lite for free today: >>>>> http://p.sf.net/sfu/appdyn_sfd2d_oct >>>>> -- >>>>> ----------------------------------------------- >>>>> jEdit Users' List >>>>> jEd...@li... >>>>> https://lists.sourceforge.net/lists/listinfo/jedit-users >>>>> >>>>> >>>> >>> >>> >>> -- >>> "One can live magnificently in this world if one knows how to work and >>> how to love." -- Leo Tolstoy >>> >> >> > > > -- > "One can live magnificently in this world if one knows how to work and how > to love." -- Leo Tolstoy > |