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

Clarify /rules/lib/builtins/repository_ctx description of default working_directory for execute() #22669

Closed
wants to merge 1 commit into from

Conversation

dws
Copy link
Contributor

@dws dws commented Jun 7, 2024

Fixes #21897 per feedback from @meteorcloudy.

@dws dws marked this pull request as ready for review June 7, 2024 18:58
@github-actions github-actions bot added team-ExternalDeps External dependency handling, remote repositiories, WORKSPACE file. awaiting-review PR is awaiting review from an assigned reviewer labels Jun 7, 2024
Copy link
Member

@meteorcloudy meteorcloudy left a comment

Choose a reason for hiding this comment

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

Thanks!

@@ -1561,7 +1561,8 @@ private static String profileArgsDesc(String method, List<String> args) {
named = true,
doc =
"Working directory for command execution.\n"
+ "Can be relative to the repository root or absolute."),
+ "Can be relative to the repository root or absolute.\n"
+ "The default is relative to the repository root."),
Copy link
Member

Choose a reason for hiding this comment

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

Maybe just "The default is the repository root."?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Done!

Copy link
Member

@meteorcloudy meteorcloudy left a comment

Choose a reason for hiding this comment

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

Thank you!

@meteorcloudy meteorcloudy added awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally and removed awaiting-review PR is awaiting review from an assigned reviewer labels Jun 10, 2024
@github-actions github-actions bot removed the awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally label Jun 11, 2024
fmeum pushed a commit to fmeum/bazel that referenced this pull request Aug 22, 2024
…king_directory for execute()

Fixes bazelbuild#21897 per feedback from @meteorcloudy.

Closes bazelbuild#22669.

PiperOrigin-RevId: 642185332
Change-Id: I188efa9bf0567d14fdd1b67583f51bebd65af295
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
team-ExternalDeps External dependency handling, remote repositiories, WORKSPACE file.
Projects
None yet
2 participants