mirror of
https://github.com/games-on-whales/gow.git
synced 2026-10-15 21:02:02 +00:00
[PR #86] [MERGED] Add an action to lint shell scripts and Dockerfiles #141
Labels
No labels
bug
enhancement
enhancement
github_actions
good first issue
help wanted
help wanted
invalid
needs testers
pull-request
question
x11-images
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
games-on-whales/gow#141
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/games-on-whales/gow/pull/86
Author: @zb140
Created: 9/18/2022
Status: ✅ Merged
Merged: 10/15/2022
Merged by: @zb140
Base:
master← Head:zb140/shellcheck📝 Commits (5)
37fcf62add an action to run linters on shell scripts and Dockerfilesc71ca63Add yaml and env linters516fd0especify which files to lint3098f3cfix some lint issues607c0dfmore lint fixes📊 Changes
12 files changed (+88 additions, -22 deletions)
View changed files
➕
.github/workflows/lint.yml(+40 -0)📝
images/base-app/Dockerfile(+2 -0)📝
images/base/build/setup-retro-user(+15 -11)📝
images/base/scripts/bootstrap.sh(+4 -1)📝
images/base/scripts/lib/utils.sh(+2 -0)📝
images/pulseaudio/Dockerfile(+2 -0)📝
images/retroarch/Dockerfile(+3 -1)📝
images/steam/Dockerfile(+2 -0)📝
images/sunshine/Dockerfile(+6 -3)📝
images/udevd/Dockerfile(+2 -0)📝
images/xorg/Dockerfile(+2 -0)📝
images/xorg/scripts/ensure-nvidia-xorg-driver.sh(+8 -6)📄 Description
Added an action to run linters for shell scripts and Dockerfiles. It will run on any PR. If there's a lint issue in one of the files being modified, it will add a review pointing out the specific line and error. If it finds errors in files not in the PR, those will get noted under the "Checks" tab. None of this blocks merging the PR anyway, but it should make it much easier to spot potential problems.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.