diff options
| author |  Felipe Contreras <felipe.contreras@gmail.com> | 2013-12-07 07:09:42 -0600 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2013-12-09 13:18:44 -0800 |
| commit | e71d13787929d4a043cb3906cfa4afa69e5fd0db (patch) | |
| tree | eedfa43365ddf58630011607a7012f189b1b8045 | |
| parent | remote-helpers: add extra safety checks (diff) | |
| download | tgif-e71d13787929d4a043cb3906cfa4afa69e5fd0db.tar.xz | |
remote-hg: fix 'shared path' path
If the repository is moved, the absolute path of the shared repository
would fail.
Make sure it's always up-to-date.
Reported-by: Michael Davis <mjmdavis@gmail.com>
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rwxr-xr-x | contrib/remote-helpers/git-remote-hg | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/contrib/remote-helpers/git-remote-hg b/contrib/remote-helpers/git-remote-hg index 852fdcf517..eb89ef6779 100755 --- a/contrib/remote-helpers/git-remote-hg +++ b/contrib/remote-helpers/git-remote-hg @@ -415,6 +415,9 @@ def get_repo(url, alias): local_path = os.path.join(dirname, 'clone') if not os.path.exists(local_path): hg.share(myui, shared_path, local_path, update=False) + else: + # make sure the shared path is always up-to-date + util.writefile(os.path.join(local_path, '.hg', 'sharedpath'), hg_path) repo = hg.repository(myui, local_path) try: |