creates unwanted folder 'karel' in home folder

[Walsonde]

after closing karel for the first time, a folder named 'karel' is created in the home folder. Needless to say that this is unacceptable. Thus it is deleted by me immediately. It is not called home folder without a reason. I alone decide what is to be in the home folder.

How do I get karel to create it's folder where I will allow it or how do I move the folder to an acceptable place so that karel will still function?

[fredoverflow]

How do I get karel to create it's folder where I will allow it

• Windows: java -Duser.home=C:\some\other\folder -jar karel.jar
• macOS/Linux: java -Duser.home=/some/other/folder -jar karel.jar

[Walsonde]

Hi!

Am 27.04.22 um 01:03 schrieb fredoverflow:

* macOS/Linux: `java -Duser.home=/some/other/folder -jar karel.jar`

That works as long as and only if I enter this in the Terminal. However if I start karel from the apps menu, it still creates a folder in the home folder.

Any idea how to permanently change the destination of the karel folder?

Thanks for your effort!