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

Don't download get-pants.sh into repo root. #18

Merged
merged 1 commit into from
Mar 1, 2023

Conversation

danxmoran
Copy link
Contributor

Downloading into the repo root will cause subsequent pants tailor --check calls to fail (unless there happens to be a shell_sources target in the build root). Download into /tmp instead.

Downloading into the repo root will cause subsequent `pants tailor
--check` calls to fail (unless there happens to be a `shell_sources`
target in the build root). Download into `/tmp` instead.
@danxmoran danxmoran requested a review from benjyw March 1, 2023 18:22
@danxmoran danxmoran merged commit 402e2fb into pantsbuild:main Mar 1, 2023
@danxmoran danxmoran deleted the danxmoran/get-pants-in-tmp branch March 1, 2023 18:27
if [[ -f ./get-pants.sh ]]; then
./get-pants.sh
else
curl --proto '=https' --tlsv1.2 -fsSLo /tmp/get-pants.sh \
Copy link
Contributor

Choose a reason for hiding this comment

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

I guess /tmp/get-pants.sh is probably fine, but using mktemp or GITHUB_ACTION_PATH to get a truly unique path seems like better form. You never know what another action might do.

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.

3 participants