Archives
Archives
| From: | Volker Armin Hemmann <volkerarmin@××××××××××.com> | ||
|---|---|---|---|
| To: | gentoo-user@l.g.o | ||
| Subject: | Re: [gentoo-user] prune gentoo-sources vs rm gentoo-sources | ||
| Date: | Thu, 26 Nov 2009 18:07:21 | ||
| Message-Id: | 200911261839.51597.volkerarmin@googlemail.com | ||
| In Reply to: | [gentoo-user] prune gentoo-sources vs rm gentoo-sources by Maxim Wexler |
||
| 1 | On Donnerstag 26 November 2009, Maxim Wexler wrote: |
| 2 | > Hi group, |
| 3 | > |
| 4 | > according to the docs the approved method of removing old |
| 5 | > gentoo-sources is emerge --prune. But I've already used rm -rf on |
| 6 | > them. Have I set myself up for a problem later? |
| 7 | > |
| 8 | > Maxim |
| 9 | > |
| 10 | |
| 11 | |
| 12 | no. |
| 13 | |
| 14 | in fact, i always remove the sources with -rf before I unmerge them. It is A |
| 15 | LOT faster that way. |