Windows jEdit launcher for Ant (bare name launcher)
Submitted by Sunday, 26 August, 2007 - 17:57
on
Hi
Here’s my two cents contribution (ok, I’m overrating this):
For invoking jEdit from Ant, irrespective of platform (i.e. not using OS specific code in Ant), it would be nice to invoke jEdit as a bare name, without extension.
Doing so it would try to launch jedit.exe in Windows and the jedit script in other OS (linux/bsd/...). But there's none in the 4.3 build.
For such purpose the Windows exe launcher of jEdit4.1 can be reused.
Here’s the procedure, step by step:
1. First be sure to have jEdit4.1 for Windows installed in the exact location intended for jEdit4.3 (if using other releases, better be sure to uninstall them first);
2. Copy to a backup directory apart the files with extensions exe, dll and .reg.txt, which where placed by the jEdit4.1 installer in the main jEdit directory;
3. Uninstall jEdit4.1;
4. Install jEdit4.3 to the previous location;
5. Copy the files from the backup directory (exe dll ...) to the main jEdit directory - notice that those files don’t have names clashing with the names used for the jEdit4.3 installation;
6. Test running the exe launcher from the command-line, and if necessary answer appropriately their initial questions by browsing to the java bin directory and so on.
I find it very useful to script in ant the editing of very large file sets. Alternatively jEdit can preserve specific work file sets.
Cheers,
Antonio
Here’s my two cents contribution (ok, I’m overrating this):
For invoking jEdit from Ant, irrespective of platform (i.e. not using OS specific code in Ant), it would be nice to invoke jEdit as a bare name, without extension.
Doing so it would try to launch jedit.exe in Windows and the jedit script in other OS (linux/bsd/...). But there's none in the 4.3 build.
For such purpose the Windows exe launcher of jEdit4.1 can be reused.
Here’s the procedure, step by step:
1. First be sure to have jEdit4.1 for Windows installed in the exact location intended for jEdit4.3 (if using other releases, better be sure to uninstall them first);
2. Copy to a backup directory apart the files with extensions exe, dll and .reg.txt, which where placed by the jEdit4.1 installer in the main jEdit directory;
3. Uninstall jEdit4.1;
4. Install jEdit4.3 to the previous location;
5. Copy the files from the backup directory (exe dll ...) to the main jEdit directory - notice that those files don’t have names clashing with the names used for the jEdit4.3 installation;
6. Test running the exe launcher from the command-line, and if necessary answer appropriately their initial questions by browsing to the java bin directory and so on.
I find it very useful to script in ant the editing of very large file sets. Alternatively jEdit can preserve specific work file sets.
Cheers,
Antonio