[darcs-users] small UI complaint: please don't create a parent directory for me
Ketil Malde
ketil at ii.uib.no
Thu Oct 7 11:46:20 UTC 2004
zooko at zooko.com writes:
> Am I the only one who has to rename and delete the extra parent directory after
> every darcs get?
Yes :-)
> $ mkdir onlyzookopatches
> $ cd onlyzookopatches
> $ darcs get ../head/
Why not do
$ darcs get head onlyzookopatches
instead?
OTOH, I tried
$ darcs get /path/to/repo .
and got
Directory '/export/home/ketil/test/darcstest/.' already exists,
creating repository as '/export/home/ketil/test/darcstest/._0'
Copying patches...
Perhaps an exception could be made for the current directory? And why
the rather odd (and invisible) name "._0"? Okay, it said it was going
to call it that, but still...why not default to the normal repository
name? Or just terminate with an error?
-kzm
--
If I haven't seen further, it is by standing in the footprints of giants
More information about the darcs-users
mailing list