Skip to content

Fix error SC2071 in shell scripts#120167

Merged
akoeplinger merged 2 commits intodotnet:mainfrom
xtqqczze:SC2071
Nov 3, 2025
Merged

Fix error SC2071 in shell scripts#120167
akoeplinger merged 2 commits intodotnet:mainfrom
xtqqczze:SC2071

Conversation

@xtqqczze
Copy link
Contributor

Fix error SC2071: > is for string comparisons. Use -gt instead.

https://www.shellcheck.net/wiki/SC2071

Fix error SC2071: `>` is for string comparisons. Use `-gt` instead.

https://www.shellcheck.net/wiki/SC2071
@github-actions github-actions bot added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Sep 27, 2025
@dotnet-policy-service dotnet-policy-service bot added the community-contribution Indicates that the PR has been added by a community member label Sep 27, 2025
@vcsjones
Copy link
Member

vcsjones commented Sep 27, 2025

Things in eng/common come from the dotnet/arcade repository. Your fixes here will be undone the next time arcade is synced.

These changes should be done in the arcade repo and they will eventually sync here.

(See the README.md in eng/common as well)

@xtqqczze xtqqczze marked this pull request as draft September 27, 2025 19:21
@xtqqczze xtqqczze marked this pull request as ready for review September 27, 2025 19:23
@xtqqczze
Copy link
Contributor Author

Things in eng/common come from the dotnet/arcade repository.

These changes were made in dotnet/arcade@1ebc238

@dotnet-policy-service
Copy link
Contributor

Tagging subscribers to this area: @dotnet/runtime-infrastructure
See info in area-owners.md if you want to be subscribed.

@akoeplinger akoeplinger merged commit beadbf3 into dotnet:main Nov 3, 2025
156 checks passed
@akoeplinger akoeplinger removed the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Nov 3, 2025
@xtqqczze xtqqczze deleted the SC2071 branch November 3, 2025 15:53
@github-actions github-actions bot locked and limited conversation to collaborators Dec 4, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

area-Infrastructure community-contribution Indicates that the PR has been added by a community member

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

4 participants