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
|