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

Bash cleanup #115

Merged
merged 4 commits into from Nov 18, 2021
Merged

Bash cleanup #115

merged 4 commits into from Nov 18, 2021

Conversation

zimbatm
Copy link
Contributor

@zimbatm zimbatm commented Nov 17, 2021

The install script needed a bit of TLC. /cc @flokli

Don't leave temporary files around
The script is invoked with sh and therefor doesn't need and executable
script.
If fetching the install script fails, don't keep the CI running forever.
@domenkozar domenkozar merged commit d045d9f into cachix:master Nov 18, 2021
@zimbatm zimbatm deleted the bash-cleanup branch November 18, 2021 08:16
@zimbatm
Copy link
Contributor Author

zimbatm commented Nov 18, 2021

@domenkozar I didn't test the changes. Let me know if it broke anything.

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.

None yet

2 participants