Feature request: add possibility to override the .gnatstudio folder name.
Nobody has claimed this yet.
- Dominant language
- Ada
- Stars
- 531
- Forks
- 65
- PR merge metrics
- No merged PRs in 30d
Description
Documentation said:
15.2. Environment Variables
All the configuration files and directories used by GPS are either relative to $HOME/.gnatstudio (%HOME%.gnatstudio on Windows) if GNATSTUDIO_HOME is not set, or to $GNATSTUDIO_HOME/.gnatstudio (respectively, %GNATSTUDIO_HOME%.gnatstudio) if set.
That is, you can change the location of .gnatstudio folder but you cannot change the .gnatstudio folder name itself. Thus you cannot have several configurations in the same folder, in $HOME for instance.
It may be useful for exemple if you run different GNATStudio versions at the same time.
I propose to add the possibility to override the .gnatstudio name by a new environment variable.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by locating the code that reads GNATSTUDIO_HOME and the documentation in section 15.2, “Environment Variables.” Determine how the .gnatstudio suffix is selected and define the new environment variable’s behavior so separate GNAT Studio configurations can coexist; done means the folder name can be overridden while the documented default still works.
Written by the indexing model from the issue text.
Assessment
- Domain
- developer-experience, tooling
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100