From: | Zac Medico <zmedico@g.o> | ||
---|---|---|---|
To: | gentoo-dev@l.g.o | ||
Subject: | Re: [gentoo-dev] meaning of EROOT | ||
Date: | Mon, 04 Feb 2013 16:07:13 | ||
Message-Id: | 510FDCAA.6010900@gentoo.org | ||
In Reply to: | Re: [gentoo-dev] meaning of EROOT by Michael Weber |
1 | On 02/04/2013 03:01 AM, Michael Weber wrote: |
2 | > On 02/03/2013 12:07 PM, heroxbd wrote: |
3 | >> self.eroot = self.target_root.rstrip(os.sep) + self.eprefix + os.sep |
4 | > wouldn't be this more robust |
5 | > |
6 | >>>> import os |
7 | >>>> os.path.normpath('/some/' + os.path.sep + '/stuff/') + os.path.sep |
8 | > '/some/stuff/' |
9 | |
10 | In this context, the relevant paths have already been normalized earlier. |
11 | -- |
12 | Thanks, |
13 | Zac |