Skip to content

Allow escaping "$" in command arguments - #505

Open
rkennedy wants to merge 4 commits into
magefile:masterfrom
rkennedy:bugfix/env-expand
Open

rkennedy wants to merge 4 commits into
magefile:masterfrom
rkennedy:bugfix/env-expand

Conversation

@rkennedy

@rkennedy rkennedy commented May 1, 2024 •

Copy link
Copy Markdown

The sh.Exec family of functions used to use os.Expand to expand environment variables in command arguments, but that function offers no escape syntax — no way to avoid expanding dollar signs that the caller really wants to include on the command line. This commit implements a new, mostly compatible Expand function to allow escaping the environment-variable syntax, plus an accompanying Escape function to producing escaped strings.

This technically breaks backward compatibility; any existing code that has used the sequences "\\" or "\$" in its command arguments will need to be updated. Although the compatibility argument prevents os.Expand from changing, documentation for sh.Exec hasn't actually stated that it follows all the same rules as os.Expand, so it's possible to view this change as merely a bugfix, formalizing a new syntax that had not previously been established.

Fixes #434

@natefinch natefinch left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Thanks for tackling literal dollar signs in command arguments. I applied this patch to current master (0953947) to review it. I found two compatibility regressions that need addressing before merging; the inline comments include reproductions. The Escape round-trip worked in the cases I exercised, but replacing os.Expand also changes behavior for existing arguments unrelated to dollar escaping.

The updated patch also needs a small lint cleanup: use strings.ReplaceAll, fix the spelling of preceding, and use t.Setenv in the precedence test.

Comment thread sh/cmd.go Outdated
case '\\':
// Escaped backslash or dollar expands to itself.
// Escaped anything else is reserved and gets removed.
if match[1] == '\\' || match[1] == '$' {

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Ordinary backslashes corrupt existing command arguments. The regexp matches every backslash followed by a character, and this branch drops both characters unless they are an escaped backslash or dollar sign. For example, Expand(C:\tools\mage, mapping) returns C:oolsage, and Expand(\d+\s, mapping) returns +; both inputs are preserved by os.Expand. This affects Windows paths and regex arguments even when they contain no environment-variable syntax. Please preserve unrecognized backslash sequences rather than reserving and deleting them, and add regression coverage for these cases. The compatibility impact goes beyond the \ and $ sequences mentioned in the PR description.

Copy link
Copy Markdown
Author

Choose a reason for hiding this comment

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

My intention was that code that didn't want backslash-processing should use sh.Escape.

Furthermore, my position was that it's impossible to have a true compatibility impact on behavior that was never documented in the first place. Since no backslash behavior was specified — only a vague mention of "$FOO format" — we can't actually break anything.

I realize that the documentation I wrote here for sh.Expand says that it "works just like os.Expand," but I think I meant that only in the sense that it searches for values looking like $var or ${var}, without really getting into the specific syntax.

But anyway, updated commits now match the syntax of os.Expand, with the only change being the new handling of \\ and \$ escape sequences.

Comment thread sh/cmd.go Outdated
return arg
}

var varExpr = regexp.MustCompile(`\\.|\$(\w+|[-*#$@!?0-9])|\$\{(\w+|[-*#$@!?0-9])\}|\$\{\}?`)

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

The new variable grammar is not compatible with os.Expand. Braced names in os.Expand are not limited to word characters. For example, with mapping := func(key string) string { return "<" + key + ">" }, os.Expand("${user.bitbucketAppPassword}", mapping) returns "<user.bitbucketAppPassword>", while this Expand returns "user.bitbucketAppPassword}" without calling the mapping for that name. ${FOO-BAR} is similarly affected. Also, $10 previously expands $1 followed by the literal 0, but this regexp treats 10 as one variable name. Please retain os.Expand's existing variable-name and special-parameter semantics outside the deliberately introduced escapes, with tests for these inputs.

Copy link
Copy Markdown
Author

Choose a reason for hiding this comment

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

As I mentioned on the other comment, it was never my intention to exactly match the syntax of os.Expand, mainly because its syntax isn't documented, but also because its behavior is a little weird, if you approach it expecting it to work like shell parameter expansion. It accepts syntax for variable names that shells like Bash don't accept, such as ${user.bitbucketAppPassword} and ${FOO-BAR}.

Should be fixed now, though.

The `sh.Exec` family of functions used to use `os.Expand` to expand
environment variables in command arguments, but that function offers no
escape syntax -- no way to avoid expanding dollar signs that the caller
really wants to include on the command line. This commit implements a
new, mostly compatible `Expand` function to allow escaping the
environment-variable syntax, plus an accompanying `Escape` function to
produce escaped strings.

This technically breaks backward compatibility: Any existing code that
has used the sequence "\\" or "\$" in its command arguments will need to
be updated. Although Go's compatibility promise prevents `os.Expand`
from changing, documentation for `sh.Exec` hasn't actually stated that
it follows all the same rules as `os.Expand`, so it's possible to view
this change as merely a bugfix, formalizing a new syntax that had not
previously been established.

Fixes magefile#434
They had previously been removed, on the grounds that they were reserved
for future use, but now they'll just be passed back verbatim -- no
longer reserved.
This is "new" with respect to the Go versions supported at the time the
surrounding code was written.
The stdlib function accepts different syntax depending on whether braces
are used, and now our `Expand` function will behave likewise.

Unit tests that involve new backslash-escape syntax have hard-coded
expected results, but all other tests of `sh.Expand` defer to
`os.Expand` as their oracle.
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.

Exec args always expanded

2 participants