On Sat, 2015-01-17 at 19:11 +0000, Richard Shann wrote: > On Sat, 2015-01-17 at 20:05 +0100, Andreas Schneider wrote: > > For an USB stick installation, wouldn't it be better to have the .denemo > > user configuration on the stick, too? If people use it at PC pools, then > > they would want to carry around their configuration as well. An > > advantage would also be that you could use relative paths so that > > everything will be found independent of drive letter changes. > > yes :) > Just it needs a bit of coding ... >
It occurred to me that the current coding uses the HOME directory, so we should be able to just set that to the USB stick in our batch file before running Denemo. I tried this out in the Denemo.bat file - it didn't work, and that may be because in Denemo we get the HOME directory via a gtk call which perhaps ignores the environment variable and goes to the windows registry instead. But, we could potentially copy the .denemo-xxx folder before and after Denemo runs in the batch file. This would avoid having to try to decide at run time if the program is being run from a USB stick. (Because the batch file only lives on the USB stick). Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
