On Wed, Feb 27, 2013 at 2:01 AM, Jens Lehmann <Jens.Lehmann@xxxxxx> wrote: > Am 26.02.2013 17:07, schrieb Junio C Hamano: >> "jones.noamle" <lenoam@xxxxxxxxx> writes: >> >>> # git gc >>> Counting objects: 44626, done. >>> Delta compression using up to 8 threads. >>> Compressing objects: 100% (7756/7756), done. >>> fatal: sha1 file '.git/objects/pack/tmp_pack_uJ0E5b' write error: No >>> space left on device >> >> In general when we encounter an unexpected error, we tend to try >> leaving things as they are so that we can help diagnosing the >> failure. But when you ran out of disk space I would agree that it >> may be sensible to remove a temporary file we didn't manage to write >> out in full. > > Ack. I just recently had to do > > git gc || rm -f .git/objects/*/tmp_* > > as workaround in the nightly housekeeping script on our CI server. it's not just 'git gc'; a failed push of a large repo (failed due to, say, network issues or whatever) also leave tmp_* lying around. At least as far as I can tell... -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html