Archives
Archives
| From: | Michael Weber <xmw@g.o> | ||
|---|---|---|---|
| To: | gentoo-dev@l.g.o | ||
| Subject: | Re: [gentoo-dev] meaning of EROOT | ||
| Date: | Mon, 04 Feb 2013 11:01:38 | ||
| Message-Id: | 510F9505.30304@gentoo.org | ||
| In Reply to: | [gentoo-dev] meaning of EROOT by heroxbd |
||
| 1 | On 02/03/2013 12:07 PM, heroxbd wrote: |
| 2 | > self.eroot = self.target_root.rstrip(os.sep) + self.eprefix + os.sep |
| 3 | wouldn't be this more robust |
| 4 | |
| 5 | >>> import os |
| 6 | >>> os.path.normpath('/some/' + os.path.sep + '/stuff/') + os.path.sep |
| 7 | '/some/stuff/' |
| 8 | |
| 9 | |
| 10 | -- |
| 11 | Michael Weber |
| 12 | Gentoo Developer |
| 13 | web: https://xmw.de/ |
| 14 | mailto: Michael Weber <xmw@g.o> |
| Subject | Author |
|---|---|
| Re: [gentoo-dev] meaning of EROOT | Zac Medico <zmedico@g.o> |