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

Fix: catch grep failure so reset script doesn't die #1991

Merged
merged 1 commit into from
Mar 28, 2024
Merged

Conversation

thekaveman
Copy link
Member

With -e, the script returns an error code whenever any command does so, which can cause the rest of the Dev Container setup to fail.

grep returns an error code when no match is found, but we don't want that to end the script in error, so test the grep return code

See https://stackoverflow.com/a/49627999/453168

with -e, the script returns an error code whenever any command does so,
which can cause the rest of the Dev Container setup to fail

grep returns an error code when no match is found, but we don't want
that to end the script in error, so test the grep return code

see https://stackoverflow.com/a/49627999/453168
@thekaveman thekaveman added bug Something isn't working chore Chores and tasks for code cleanup, dev experience, admin/configuration settings, etc. labels Mar 28, 2024
@thekaveman thekaveman self-assigned this Mar 28, 2024
@thekaveman thekaveman requested a review from a team as a code owner March 28, 2024 21:27
@github-actions github-actions bot added the deployment-dev [auto] Changes that will trigger a deploy if merged to dev label Mar 28, 2024
Copy link

Coverage report

This PR does not seem to contain any modification to coverable code.

@thekaveman thekaveman merged commit de1e85d into dev Mar 28, 2024
10 checks passed
@thekaveman thekaveman deleted the fix/reset-db branch March 28, 2024 21:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working chore Chores and tasks for code cleanup, dev experience, admin/configuration settings, etc. deployment-dev [auto] Changes that will trigger a deploy if merged to dev
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants