Skip to content

ofrak_patch_maker no longer looks for toolchain.conf in "/etc".#342

Merged
whyitfor merged 1 commit into
masterfrom
maintenance/etc_toolchain
Jun 29, 2023
Merged

ofrak_patch_maker no longer looks for toolchain.conf in "/etc".#342
whyitfor merged 1 commit into
masterfrom
maintenance/etc_toolchain

Conversation

@whyitfor
Copy link
Copy Markdown
Contributor

@whyitfor whyitfor commented Jun 28, 2023

One sentence summary of this PR (This should go in the CHANGELOG!)
ofrak_patch_maker does not look for toolchain.conf in /etc.

Link to Related Issue(s)
This issue partially addresses problems raised in #340.

Please describe the changes in your request.
ofrak_patch_maker initially assumed that the toolchain.conf was in /etc.

When the package was added to PyPI, the toolchain.conf started to get bundled with the package itself.
Given this, there is no need to search for toolchain.conf. This PR removes this logic entirely: toolchain.conf is only searched for in the ofrak_patch_maker package.

This change makes local installs easier, as copying the toolchain config to /etc often required root privileges.

Anyone you think should look at this, specifically?
FYI @ANogin, @Jepson2k.

Copy link
Copy Markdown
Contributor

@EdwardLarson EdwardLarson left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

A minor change that makes things just make more sense. I like it :)

@whyitfor whyitfor force-pushed the maintenance/etc_toolchain branch from 4525fab to de1bd65 Compare June 29, 2023 15:44
@whyitfor whyitfor merged commit 70c9200 into master Jun 29, 2023
@whyitfor whyitfor deleted the maintenance/etc_toolchain branch June 30, 2023 14:45
@EdwardLarson EdwardLarson mentioned this pull request Aug 10, 2023
1 task
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