"darcs push" fails to expand tilde to full path to user home directory

[Tony Whitmore]

Binary package hint: darcs

Version: 1.0.9rc1 (release candidate 1)
Distro: Ubuntu 7.10
Expected behaviour: Darcs "push" command to expand tilde to user's home directory.
Observed behaviour: Failure to expand tilde symbol correctly, although the repository does seem to be located.

When using "darcs push" to push a patch to a remote repository via SSH, darcs fails to expand the tilde symbol (~) to locate the user's home directory correctly. For example, a successful push looks like:

$ darcs push example.com:/home/tony/public_html/main/repos/check_uptime/

Mon Feb 11 22:25:32 GMT 2008 tony@.....
  * Using /proc/uptime and changing status messages to suit
Shall I push this patch? (1/1) [ynWvpxqadjk], or ? for help: y
Finished applying...

However, when using a tilde instead of the full path, the following happens:

$ darcs push example.com:~/public_html/main/repos/check_uptime/
Pushing to "example.com:~/public_html/main/repos/check_uptime/"...

Mon Feb 11 22:25:32 GMT 2008 tony@....
  * Using /proc/uptime and changing status messages to suit
Shall I push this patch? (1/1) [ynWvpxqadjk], or ? for help: y

darcs failed: can't set directory to ~/public_html/main/repos/check_uptime/

Obviously the expansion works correctly when copying files via SCP etc. For reference, when the target directory does not exist at all, one sees:

$ darcs push example.com:/foo/repos/check_uptime/
Invalid repository: example.com:/foo/repos/check_uptime

darcs failed: (scp) failed to fetch: example.com:/foo/repos/check_uptime/_darcs/inventory

[Iain Lane (laney)]

Thank you for your report. This bug is already being tracked upstream. You can follow its progress and make comments there.

[Tony Whitmore (tonywhitmore)]

Still happens in 2.8.1 (Ubuntu 12.10)