Skip to content

Sketchbook setting lost when Linux mount fails #7863

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
bphermansson opened this issue Aug 5, 2018 · 3 comments
Open

Sketchbook setting lost when Linux mount fails #7863

bphermansson opened this issue Aug 5, 2018 · 3 comments
Labels
Component: IDE The Arduino IDE feature request A request to make an enhancement (not a bug fix)

Comments

@bphermansson
Copy link

bphermansson commented Aug 5, 2018

I have my Sketchbook folder on a NAS and my Linux computers don't always mount the folder as they shall when it starts. If I then launch Arduino IDE it tells me that the Sketchbook is lost and changes the setting for the Sketchbook folder. I think this behavior is wrong, why not just tell me the Sketchbook folder is missing and let the setting be? I can then correct the mount issue without going through the trouble of changing the settings.

@facchinm facchinm added Component: IDE The Arduino IDE feature request A request to make an enhancement (not a bug fix) labels Aug 20, 2018
@facchinm
Copy link
Member

Hi @bphermansson ,
the IDE tends to rewrite preferences.txt way too often than needed, and this provokes other unintended behaviours (since every time a Preferences structure field is changed it tries to update the backing storage). Handling this in a saner way could be a nice (and not so demanding, if anyone in the community wants to tackle it 😉 ) task

@facchinm
Copy link
Member

#7879 could help too in your case (not a perfect fix for your specific problem, indeed, since it would also remove some functionalities like "recent sketches")

@bphermansson
Copy link
Author

Hmm I certainly won't let recent sketches go, that's way to useful. I maybe take a look at the code and see if I have any ideas of improvements.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component: IDE The Arduino IDE feature request A request to make an enhancement (not a bug fix)
Projects
None yet
Development

No branches or pull requests

2 participants