Skip to content
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

flict-config: safety fallback for HOME #256

Merged

Conversation

priv-kweihmann
Copy link
Collaborator

if HOME is not set (and there might be even obscure Unix setups that do that), the app crashes at startup.
Fix that by providing a non-existing dir.
For users that need to have flict-config without HOME dir being present still FLICT_USERCONFIG is available. That one can be used to provide a full qualified path of a cfg file to be used

Relates to #251

Signed-off-by: Konrad Weihmann [email protected]

if HOME is not set (and there might be even obscure Unix setups
that do that), the app crashes at startup.
Fix that by providing a non-existing dir.
For users that need to have flict-config without HOME
dir being present still FLICT_USERCONFIG is available.
That one can be used to provide a full qualified path of
a cfg file to be used

Relates to vinland-technology#251

Signed-off-by: Konrad Weihmann <[email protected]>
@jens-erdmann
Copy link
Collaborator

Is this a temporary solution or supposed to last longer? I remember a discussion about using a different library to handle paths platform independent.

@priv-kweihmann
Copy link
Collaborator Author

priv-kweihmann commented Jan 12, 2023

Is this a temporary solution or supposed to last longer? I remember a discussion about using a different library to handle paths platform independent.

For me that is the solution we should stick to as long as we only support POSIX Linux - if Windows support becomes reality we might want to switch to something different, but I do not see that coming, I would be fine with just preventing a crash

@priv-kweihmann priv-kweihmann merged commit 1c624c4 into vinland-technology:main Jan 12, 2023
@priv-kweihmann priv-kweihmann deleted the fix/no-home-dir branch January 18, 2024 06:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants