darcs

Issue 2194 Shell glob works to get repo but push fails due to invalid path

Title Shell glob works to get repo but push fails due to invalid path
Priority Status unknown
Milestone Resolved in
Superseder Nosy List owst
Assigned To
Topics

Created on 2012-05-02.11:15:30 by owst, last changed 2013-09-12.14:40:55 by peachesncream.

Files
File name Uploaded Type Edit Remove
1302-14022-5815.html peachesncream, 2013-09-12.14:40:55 text/html
Messages
msg15642 (view) Author: owst Date: 2012-05-02.11:15:29
1. Summarise the issue (what were doing, what went wrong?)

On my server:

[my_server] $ darcs init --repo my_testing_repo

I later forgot the exact name of a repo that I wanted to get via ssh, so
I used a glob (not knowing if the syntax would work):

[local] $ darcs get user@server:my_testing*

The repo was successfully "got", but the directory was named after the
glob, not the expansion:

[local] $ ls

my_testing*

Meh, doesn't matter I thought, so I created a patch and tried to push it...
  
[local] $ darcs push -a 

darcs failed:  can't set directory to my_testing*
Apply failed!

So I went looking in _darcs/prefs:

$ for file in _darcs/prefs/{sources,defaultrepo,repos}
> do
> echo "$file contains:"
> cat $file
> echo ""
> done
_darcs/prefs/sources contains:
repo:user@server:my_testing*

_darcs/prefs/defaultrepo contains:
user@server:my_testing*

_darcs/prefs/repos contains:
user@server:my_testing*

Urk!

2. What behaviour were you expecting instead?

The remote path to have been correctly expanded, and darcs to use that
path to push to.

3. What darcs version are you using? (Try: darcs --exact-version)

darcs.net HEAD:
2.9.1 (+ 402 patches)

4. What operating system are you running?

Linux x86_64
History
Date User Action Args
2012-05-02 11:15:30owstcreate
2013-09-12 14:40:55peachesncreamsetfiles: + 1302-14022-5815.html