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

review: chore: Set euo pipefail in all scripts #5727

Merged
merged 3 commits into from
Apr 5, 2024

Conversation

I-Al-Istannen
Copy link
Collaborator

@I-Al-Istannen I-Al-Istannen commented Apr 3, 2024

This will set

  • set -o pipefail: Set exit code of pipe to exit code of failing program within
  • set -e: Fail if any command failed
  • set -u: Fail if any variable is not defined

@I-Al-Istannen I-Al-Istannen changed the title chore: Set euxo pipefail in all scripts chore: Set euo pipefail in all scripts Apr 3, 2024
@I-Al-Istannen I-Al-Istannen force-pushed the chore/bash-script-errors branch from 16d020d to 4271ead Compare April 3, 2024 22:55
@I-Al-Istannen I-Al-Istannen changed the title chore: Set euo pipefail in all scripts review: chore: Set euo pipefail in all scripts Apr 3, 2024
@I-Al-Istannen I-Al-Istannen self-assigned this Apr 3, 2024
@I-Al-Istannen I-Al-Istannen requested a review from MartinWitt April 3, 2024 23:12
@SirYwell SirYwell merged commit ba0a0b0 into INRIA:master Apr 5, 2024
11 checks passed
@I-Al-Istannen I-Al-Istannen deleted the chore/bash-script-errors branch April 5, 2024 09:07
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