-
-
Notifications
You must be signed in to change notification settings - Fork 7k
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
Use proper configuration files location on linux #7651
Comments
Closing as duplicate of arduino/arduino-ide#1514 We welcome bug reports and feature requests but in the future please take the time to search for existing open and closed issues and pull requests before submitting an issue: |
The reason previous bug report been closed with, shows how really bugs are welcome. And there is no reopen functionality, so new bug been filled for this purpose. |
Legitimate, unique issue reports are certainly welcome here. They are a valuable contribution to the Arduino project. GitHub only allows repository administrators or the person who closed an issue to re-open, and for good reason. If you want a closed issue to be re-opened then you need to comment on that issue with new information that makes it clear why it should be re-opened. Note that unproductive comments on an issue may lead to its comment thread being locked, which will certainly not be helpful to your goal. It is absolutely not appropriate to open duplicate issue reports. This repository already has >6400 issue reports. Duplicate and invalid issues make maintaining and searching so many issues even more difficult. |
This really depends on how you define "nice". Complying with the freedesktop spec might be "nice". But what is the real benefit? How does it actually help people? Making this change may not be so "nice" for countless users who already have quite a lot of custom config accumulated in ~/.arduino15. Updating numerous web pages that mention the existing location doesn't seem like such a "nice" task, and especially for those located on non-Arduino websites. Extra work to automatically migrate people's data would be "nice" (except for the dev time & effort to write this and test), but what happens if those users have more than 1 installation of Arduino on their machine? (yes, that's a very common scenario, where people begin a hardware project using an older version and keep a copy around for only that project) There are a lot of ways for this change to be not so "nice" in practice, which is probably why the proposal was rejected. I personally think it's a bad idea, with lots of compatibility & documentation headaches for end users. So what is the rationale, what is the compelling reason to need this? It better have a lot more real-world benefit than merely "nice"! |
It goes in compliance with the commonly used standard rather than being yet another Having said that, I do believe the change is not worth it too. |
Well, first of all, I'm sorry for my rude comment, it was not "nice" at all )) As for moving config location to another location, it's actually not such a big problem, IMO. Many projects moved their default config location to comply with the standards. For example, upon updating to next major release (1.9) just warn the user that from this release default config directory will be located in new place. No need in automating that process. And current location should not be disabled immediately. So the logic of my point of view should be like this:
In such a way no hard work should be done, and there will be standard way to keep multiple installations. |
If the docs on these pages are updated for every new version, why would a single directory rename bother at all?
They would have different folders, different configs, different settings. It's an advantage, not a problem. E.g. you'd have
The way I see it is that the developers don't even want to think of a way of dealing with the "headache", not allowing the users to choose where they want to store their files. Yes, I agree that using XDG directories by default would upset a lot of users. But why not give us the option to change the directories, instead of hardcoding them? If you need more reasons, I'll quote from https://rubyworks.github.io/xdg/ page:
|
This comment was marked as duplicate.
This comment was marked as duplicate.
This comment was marked as duplicate.
This comment was marked as duplicate.
This comment was marked as duplicate.
This comment was marked as duplicate.
This comment was marked as duplicate.
This comment was marked as duplicate.
If anybody is still interested, i've created a patch to fix this issue. The new bihavior is as follows: Additionally, cache directory has been moved: The patch can be found here: P.S. There is invisible holy finger of Linus in this thread. A big fat finger. |
@Perlovka Has this been submitted as a pull request? |
@lhanson No, this is "wontfix" issue. I have no intention to make a PR that will be closed like all these issues. But if you are brave enough - you are welcome ) |
This issue has been closed as a duplicate of arduino/arduino-ide#1514, so further discussion, if any, would better happen there. |
Following #7635
It would be nice to change config directory to $HOME/.config/arduino, to comply with XDG Base Directory Specification ( $XDG_CONFIG_HOME )
The text was updated successfully, but these errors were encountered: