Skip to content

[AOMP] Add shellcheck workflow #1435

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

Open
wants to merge 5 commits into
base: aomp-dev
Choose a base branch
from

Conversation

jplehr
Copy link
Contributor

@jplehr jplehr commented May 12, 2025

No description provided.

jplehr added 4 commits May 12, 2025 09:33
This adds an initial (crude) shellcheck workflow.

This can be refined much more.
- Use shellcheck directly from maintainer github.
- Filter which files to check.
- Come up with set of guidelines / rules for errs/warns.
Use find + xargs to make the job fail in case shellcheck found issues.
@jplehr jplehr requested review from jtb20 and Kewen12 May 12, 2025 14:52
@jplehr jplehr changed the title Add shellcheck workflow [AOMP] Add shellcheck workflow May 12, 2025
@jplehr
Copy link
Contributor Author

jplehr commented May 13, 2025

This depends on #1252 and makes only sense once that has landed.

- name: Set up shellcheck
run: |
sudo apt-get update
sudo apt-get install -y shellcheck
Copy link
Contributor

Choose a reason for hiding this comment

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

I don't think we want to be running apt-get update & a possible install on every checkout of aomp. I would drop out this part. We can just install shellcheck as needed (I've added it to git/apps/openmp/sysadmin/install-3-other for new system setup/refresh)

Copy link
Contributor

Choose a reason for hiding this comment

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

I agree with Dan. I added the install instructions to SOURCEINSTALL_PREREQUISITE.md

Copy link

Choose a reason for hiding this comment

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

@jplehr jplehr requested a review from dpalermo May 20, 2025 13:56
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.

4 participants