Hi Peter, > http://en.wikipedia.org/wiki/Sed
I know this littel program, but I don't know how sed can change the JRE for OOo... Greetings, Tobias >>> Well if you are on linux a simple "sed" command could change the used >>> JDK or am I missing something. This could surely done also on win32 but >>> I have no idea on win32-scripting. The information is stored on my >>> system in: >>> >>> [EMAIL PROTECTED]:~tom/.openoffice/user/config/javasettings_Linux_x86.xml >> >> tell me more! I know this file. But what do you mean with the "sed >> command"? How is it used? --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
