[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