Skip to content
This repository was archived by the owner on Oct 22, 2021. It is now read-only.

Change application settings directory #184

Closed
spoenemann opened this issue Jan 23, 2020 · 5 comments
Closed

Change application settings directory #184

spoenemann opened this issue Jan 23, 2020 · 5 comments
Assignees
@kittaakos
Milestone
v0.0.6

Comments

@spoenemann
Copy link

Arduino Pro IDE stores its settings (recentworkspace.json, settings.json) in the default location of Theia, which is $HOME/.theia. The consequence is that it shares these settings with other Theia-based applications. We should move at least part of these settings to a dedicated directory. For example, it does not make sense to share the recent workspaces with other applications.
@spoenemann spoenemann added the type: imperfection Something isn't working label Jan 23, 2020
@akosyakov
Copy link

It would help if eclipse-theia/theia#6650 is landed.

@mastrolinux mastrolinux added this to the v0.0.6 milestone Mar 2, 2020
@kittaakos kittaakos removed the type: imperfection Something isn't working label Mar 2, 2020
@kittaakos kittaakos self-assigned this Mar 2, 2020
@kittaakos
Copy link
Contributor

This is done. Waiting for the review.

For the record, the Pro IDE will store the settings under the ~/.arduinoProIDE/ location.

@spoenemann
Copy link
Author

See eclipse-theia/theia#7218.

@kittaakos
Copy link
Contributor

See eclipse-theia/theia#7218.

@spoenemann, see what? What's missing from here?

@spoenemann
Copy link
Author

I just wanted to link that issue as it is related.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@kittaakos kittaakos

Labels
None yet
Projects
None yet
Milestone
v0.0.6
Development

No branches or pull requests
4 participants
@mastrolinux @kittaakos @akosyakov @spoenemann