starred/dehydrated
1
0
Fork 0
mirror of https://github.com/dehydrated-io/dehydrated.git synced 2026-01-11 22:30:44 +01:00
Code Issues 79 Packages Projects Releases 10 Wiki Activity

config file order #198

New Issue
Closed
opened 2025-12-29 01:18:43 +01:00 by adam · 3 comments
adam commented 2025-12-29 01:18:43 +01:00
Owner
Copy Link

Originally created by @rprimet on GitHub (Feb 21, 2017).

Hi,

Should "more-specific" (local) config files (e.g. in SCRIPTDIR or PWD) take precedence over "less specific" ones (e.g. /etc/dehydrated)?

If so, a solution would be to change the search order in load_config.

Originally created by @rprimet on GitHub (Feb 21, 2017). Hi, Should "more-specific" (local) config files (e.g. in SCRIPTDIR or PWD) take precedence over "less specific" ones (e.g. /etc/dehydrated)? If so, a solution would be to change the search order in `load_config`.
adam closed this issue 2025-12-29 01:18:43 +01:00
adam commented 2025-12-29 01:18:44 +01:00
Author
Owner
Copy Link

@rprimet commented on GitHub (Feb 22, 2017):

(reopening this issue -- using the -f flag may be the best choice, but it seems that giving precedence to local over global files still deserves thinking about?)

@rprimet commented on GitHub (Feb 22, 2017): (reopening this issue -- using the -f flag may be the best choice, but it seems that giving precedence to local over global files still deserves thinking about?)
adam commented 2025-12-29 01:18:44 +01:00
Author
Owner
Copy Link

@txr13 commented on GitHub (Feb 22, 2017):

I would want the script to explicitly prefer global defaults (if they exist) over whatever local configs may have been accidentally created. If I want to use a non-global config (without removing an existing global config), I can specify that.

@txr13 commented on GitHub (Feb 22, 2017): I would want the script to explicitly prefer global defaults (if they exist) over whatever local configs may have been accidentally created. If I want to use a non-global config (without removing an existing global config), I can specify that.
adam commented 2025-12-29 01:18:45 +01:00
Author
Owner
Copy Link

@rprimet commented on GitHub (Feb 22, 2017):

OK, closing it for good then :)

@rprimet commented on GitHub (Feb 22, 2017): OK, closing it for good then :)
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
Complicated
bug
enhancement
help wanted
pull-request
Mirrored from GitHub Pull Request
 suggestions wanted
testing
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
adam
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/dehydrated#198
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?