[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