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.

Sign up for GitHub

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

Jump to bottom

Generate etc/profile/init.sh early #800

Closed
wants to merge 1 commit into from
Closed

Generate etc/profile/init.sh early #800

wants to merge 1 commit into from

Commits on Oct 5, 2023

  1. Generate etc/profile/init.sh early 

    This should help with debugging failed builds.

There is a change in behaviour, though: if we're unpacking a tarball, this
means the init.sh from the tarball is used, not the newly-generated one.
However, they should be the same.

Also, revamp and simplify the code that generates init.sh. Just use a single
cat<<\EOF and generate init.sh's code directly from Python, instead of
generating shell code that generates init.sh.

Also, make init.sh slightly more robust by quoting a few more things where
applicable.
    @TimoWilken
    TimoWilken committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    63a11a6 View commit details
    Browse the repository at this point in the history