Archives
Archives
| From: | Michael Orlitzky <mjo@g.o> | ||
|---|---|---|---|
| To: | gentoo-dev@l.g.o | ||
| Subject: | Re: [gentoo-dev] rfc: empty directories in ${D} | ||
| Date: | Thu, 29 Mar 2018 16:12:32 | ||
| Message-Id: | 909ba44d-4586-ba01-3e0d-f839fea44ff6@gentoo.org | ||
| In Reply to: | Re: [gentoo-dev] rfc: empty directories in ${D} by Alec Warner |
||
| 1 | On 03/29/2018 11:57 AM, Alec Warner wrote: |
| 2 | > |
| 3 | > So we could simply change the PMS to keep the empty directories? |
| 4 | > |
| 5 | > Why is removing them *better* is my question. |
| 6 | |
| 7 | I proposed this idea but basically everyone with a say in the process |
| 8 | was against it: https://bugs.gentoo.org/644366 |
| 9 | |
| 10 | My last comment: "If no one complains, then you were right." |