no space left on device?

10 views

Skip to first unread message

unread,

Dec 1, 2010, 9:48:46 AM12/1/10

to patch-t...@googlegroups.com

I just had a darcs push fail with

darcs: _darcs/patches/pending.tentative-0: hClose: resource exhausted
(No space left on device)

Help? Thanks! :-)

--
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
For a faster response, try +44 (0)1273 64 2905 or
xmpp:ko...@jabber.fr (Jabber or Google Talk only)