Skip to content

Conversation

@mpickering
Copy link
Collaborator

Not all operating systems have /bin/bash available, it is more portable to use /usr/bin/env bash

For example: https://stackoverflow.com/questions/21612980/why-is-usr-bin-env-bash-superior-to-bin-bash

Please read Github PR Conventions and then fill in one of these two templates.


Template Β: This PR does not modify cabal behaviour (documentation, tests, refactoring, etc.)

Include the following checklist in your PR:

Copy link
Member

@Kleidukos Kleidukos left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Excellent, thank you!

@mpickering mpickering added the merge me Tell Mergify Bot to merge label Jan 26, 2024
@mergify mergify bot added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Jan 28, 2024
@Mikolaj Mikolaj force-pushed the wip/bin-bash branch 2 times, most recently from db76b39 to c8db77b Compare January 30, 2024 19:02
@mpickering
Copy link
Collaborator Author

When can this patch be merged?

Not all operating systems have `/bin/bash` available, it is more portable
to use `/usr/bin/env bash`

For example: https://stackoverflow.com/questions/21612980/why-is-usr-bin-env-bash-superior-to-bin-bash
@ulysses4ever
Copy link
Collaborator

Looked like spurious CI failure. Rebased and restarted.

@mergify mergify bot merged commit 32d9319 into haskell:master Jan 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants