| 1 |
On Thu, Aug 18, 2011 at 05:08:43PM +0200, Michał Górny wrote: |
| 2 |
> On Thu, 18 Aug 2011 12:09:39 +0200 |
| 3 |
> Chí-Thanh Christopher Nguyễn <chithanh@g.o> wrote: |
| 4 |
> |
| 5 |
> > Diego Elio Pettenò schrieb: |
| 6 |
> > > Keep it in your dev space. As I said, the resources argument is only |
| 7 |
> > > available for infra to complain about, and since last I knew from |
| 8 |
> > > them was that it was not a problem right now... |
| 9 |
> > |
| 10 |
> > home directories full of some stuff. |
| 11 |
> |
| 12 |
> |
| 13 |
Yes, to clarify, I said distfiles were fine. It was other junk that |
| 14 |
needed cleanup, somebody had a pile of old stages that he was comparing |
| 15 |
a tmpdir, somebody else had temp KDE distfiles, that sort of cleanup. |
| 16 |
-- |
| 17 |
Robin Hugh Johnson |
| 18 |
Gentoo Linux: Developer, Trustee & Infrastructure Lead |
| 19 |
E-Mail : robbat2@g.o |
| 20 |
GnuPG FP : 11AC BA4F 4778 E3F6 E4ED F38E B27B 944E 3488 4E85 |
Archives