Closed UlfNorell closed 10 years ago
From ulf.nor...@gmail.com on November 21, 2013 04:15:01
That's supposed to work (works for me). Does it fail consistently? What version of darcs do you have?
Status: InfoNeeded
From mech...@botik.ru on November 21, 2013 04:22:05
I repeated
Now it reports
Directory '/home/mechvel/t/t/Agda' already exists, creating repository as '/home/mechvel/t/t/Agda_0' Finished getting.
And now I see the directories
drwxr-xr-x 11 mechvel mechvel 4096 Nov 21 15:12 Agda drwxr-xr-x 11 mechvel mechvel 4096 Nov 21 16:20 Agda_0
Is it all right?
2.4.4 (release).
From ulf.nor...@gmail.com on November 21, 2013 04:28:01
Yes, that looks like it should be alright (Agda_0 is where it put the successfully fetched repo). Probably just a network issue the first time.
Status: Invalid
From mech...@botik.ru on November 21, 2013 12:16:59
thisrepo:/home/mechvel/t/t/Agda cache:/home/mechvel/.darcs/cache repo: http://code.haskell.org/Agda How to get the development Agda version?
(I am in Debian Linux).
Original issue: http://code.google.com/p/agda/issues/detail?id=974