Skip to content

Fix for root owner of share/gprconfig/ directory with bootstrap.sh - #164

Open
ZenitDS wants to merge 1 commit into
AdaCore:masterfrom
ZenitDS:master
Open

Fix for root owner of share/gprconfig/ directory with bootstrap.sh#164
ZenitDS wants to merge 1 commit into
AdaCore:masterfrom
ZenitDS:master

Conversation

@ZenitDS

@ZenitDS ZenitDS commented May 25, 2026

Copy link
Copy Markdown

Hello,

When using sudo to install, the gprconfig kb gets copied again to the share/gprconfig/ directory, this means that both the directory and the files get root permissions, which then makes it difficult to erase afterwards.

This fix moves the removal and copying to the --build section so that it is independent from the --install section.

Cheers
-- zen

@ZenitDS

ZenitDS commented May 25, 2026

Copy link
Copy Markdown
Author

Just in case for licensing concerns, I give you a non-exclusive license to do whatever the f**** you want with this code.

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.

1 participant