| Summary: | git-webkit warns "environment: line 1: .ToolsScriptsgit-webkit: command not found" with Windows Git | ||
|---|---|---|---|
| Product: | WebKit | Reporter: | Fujii Hironori <Hironori.Fujii> |
| Component: | Tools / Tests | Assignee: | Fujii Hironori <Hironori.Fujii> |
| Status: | NEW --- | ||
| Severity: | Normal | CC: | webkit-bug-importer |
| Priority: | P2 | Keywords: | InRadar |
| Version: | WebKit Nightly Build | ||
| Hardware: | Unspecified | ||
| OS: | Unspecified | ||
|
Description
Fujii Hironori
2023-10-17 17:26:43 PDT
`git push` reports the message. PS C:\home\webkit\gc> git push -f fork environment: line 1: .ToolsScriptsgit-webkit: command not found Pushing to fork, which has no classification. Treating it as a public remote No novel content being pushed Everything up-to-date ".git/config" contains the following lines.
> [credential "https://github.com"]
> helper = "!f() { .\\Tools\\Scripts\\git-webkit -C https://github.com/WebKit/WebKit credentials; }; f"
Replacing "\\" with "\\\\" works around the problem.
Pull request: https://github.com/WebKit/WebKit/pull/19202 This problem can be worked around by invoking "git-webkit setup" with slashs > python ./Tools/Scripts/git-webkit setup Not with backslashs > python .\Tools\Scripts\git-webkit setup |