karel icon indicating copy to clipboard operation
karel copied to clipboard
verified publisher icon fredoverflow

creates unwanted folder 'karel' in home folder

Open Walsonde opened this issue 3 years ago • 2 comments

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?

Walsonde avatar Mar 30 '22 16:03 Walsonde

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

fredoverflow avatar Apr 26 '22 23:04 fredoverflow

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!

Walsonde avatar May 06 '22 19:05 Walsonde