[darcs-devel] [issue2194] Shell glob works to get repo but push fails due to invalid path

Ben Franksen bugs at darcs.net
Sun Jun 21 07:04:50 UTC 2020


Ben Franksen <ben.franksen at online.de> added the comment:

This is a shell issue. Works for me:

ben at home[1]:~/scratch>darcs clone bf at hub.darcs.net:darcs-s*      
zsh: no matches found: bf at hub.darcs.net:darcs-s*

----------
priority:  -> not-our-bug
status: unknown -> wont-fix

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue2194>
__________________________________


More information about the darcs-devel mailing list