diff options
| author | Kaiyi Li <kaiyili@google.com> | 2024-03-27 01:53:22 -0700 |
|---|---|---|
| committer | LUCI <gerrit-scoped@luci-project-accounts.iam.gserviceaccount.com> | 2024-03-27 14:00:47 +0000 |
| commit | 159389f0da91e893962923f4aca951f8e6d9a451 (patch) | |
| tree | b94008c8d6692ad070f9c7793152cbf0d8c767e4 /project.py | |
| parent | 4406642e20d2b984631e6099664058013095ce49 (diff) | |
| download | git-repo-159389f0da91e893962923f4aca951f8e6d9a451.tar.gz | |
Fix drive mounted directory on Windows
On my Windows machine, I mount drive D: to the directory C:\src.
The old implementation returns the incorrect 'C:\\??\\Volume{ad2eb15e-f293-4d48-a448-54757d95a97c}' result, which breaks the repo init command.
With the use of os.path.realpath, it can return 'D:\\' correctly.
Change-Id: Ia5f53989055125cb282d4123cf55d060718aa1ff
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/416580
Reviewed-by: Greg Edelston <gredelston@google.com>
Tested-by: Kaiyi Li <kaiyili@google.com>
Commit-Queue: Kaiyi Li <kaiyili@google.com>
Diffstat (limited to 'project.py')
0 files changed, 0 insertions, 0 deletions