Re: [Pharo-users] where are system settings stored?

2019-07-22 Thread Dale Henrichs
On 7/22/19 10:30 AM, Cyril Ferlicot wrote: FileLocator preferences asFileReference Thanks Cyril ... I get `File @ /home/dhenrich/.config` and there is a pharo directory with some stuff in it ... poking around it seems that the system settings are in a pharo/7.0 subdirectory with a

Re: [Pharo-users] Playground auto-save?

2019-07-22 Thread Offray Vladimir Luna Cárdenas
Hi Hilaire, I imagine that you can use Grafoscopio from DrGeo, in the sense that you can have both installed in the same image and use Grafoscopio to organize and save playgrounds that have DrGeo code scripts made by your students, that they save when necessary. I tried to install DrGeo, but the

Re: [Pharo-users] where are system settings stored?

2019-07-22 Thread Cyril Ferlicot
On Mon 22 Jul 2019 at 19:25, Dale Henrichs wrote: > I am currently using Pharo 7.0 and I've just discovered that my "local > directory" is > /home/dhenrich/rogue/_homes/rogue/_home/dev/clients/gci_70_tst/pharo-local: > > > This file has to date back to the beginning of the year and i had deleted

[Pharo-users] where are system settings stored?

2019-07-22 Thread Dale Henrichs
I am currently using Pharo 7.0 and I've just discovered that my "local directory" is /home/dhenrich/rogue/_homes/rogue/_home/dev/clients/gci_70_tst/pharo-local: This file has to date back to the beginning of the year and i had deleted that directory structure a week or so ago before starting