Skip to content

Make shebangs consistent - #971

Open
RossSmyth wants to merge 1 commit into
rems-project:masterfrom
RossSmyth:shebangs
Open

Make shebangs consistent#971
RossSmyth wants to merge 1 commit into
rems-project:masterfrom
RossSmyth:shebangs

Conversation

@RossSmyth

@RossSmyth RossSmyth commented Jul 1, 2025

Copy link
Copy Markdown

This was done with rg and sed so let me know if there are any mistakes. My untrained eyes think it is fine.

  1. Use /usr/bin/env for lookup
  2. Use bash instead of sh
  3. Set euo pipefail for bash

If there are files that requires that euo pipefail is not set, then I can unset them for those files.

1. Use /usr/bin/env for lookup
2. Use bash instead of sh
3. Set euo and pipefail for bash
@RossSmyth
RossSmyth requested a review from kmemarian as a code owner July 1, 2025 16:17
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