Re: Can't push a commit: "No space left on device"

2017-03-07 Thread Scott Kostyshak
On Tue, Mar 07, 2017 at 10:56:04AM +0100, Jean-Marc Lasgouttes wrote: > Le 07/03/2017 à 10:41, Jean-Marc Lasgouttes a écrit : > > Le 07/03/2017 à 09:28, Scott Kostyshak a écrit : > > > I get the following output: > > > > Indeed the disk is full (50G). It turns out that trac.log is now 10G > > (sin

Re: Can't push a commit: "No space left on device"

2017-03-07 Thread Jean-Marc Lasgouttes
Le 07/03/2017 à 10:56, Jean-Marc Lasgouttes a écrit : OK, the file is gone now. A big part of the remaining space taken is 18G in tracdumps, which holds... backups of our gigantic trac log file :) I did not touch it for now, since this disk space will naturally be reclaimed as old backups get del

Re: Can't push a commit: "No space left on device"

2017-03-07 Thread Jean-Marc Lasgouttes
Le 07/03/2017 à 10:41, Jean-Marc Lasgouttes a écrit : Le 07/03/2017 à 09:28, Scott Kostyshak a écrit : I get the following output: Indeed the disk is full (50G). It turns out that trac.log is now 10G (since 2013!). I am currently downloading it, just in case, and will then delete it. OK, the

Re: Can't push a commit: "No space left on device"

2017-03-07 Thread Jean-Marc Lasgouttes
Le 07/03/2017 à 09:28, Scott Kostyshak a écrit : I get the following output: Indeed the disk is full (50G). It turns out that trac.log is now 10G (since 2013!). I am currently downloading it, just in case, and will then delete it. JMarc