On 12 Apr 2009, at 20:47, Dan Pascu wrote:
That's already done and that's why I proposed you to use bash
completion
as any repository name you ever used is one tab away, so it's very
easy
to switch between them and always be sure where you push without
having
to type them names over and over again.
I use zsh actually, and the darcs completions only work half the time,
which is why I don't often bother seeing what they can do. But I just
checked, and `darcs push` does complete repos. Thanks for the tip!
Ashley
--
http://www.patchspace.co.uk/
http://www.linkedin.com/in/ashleymoran
http://aviewfromafar.net/
http://twitter.com/ashleymoran
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
