This patch targets the core "seL4" repo.
I idly submitted a PR on github before reading anything at all really (beyond checking to see if the issue was made more consistent in subsequent commits). Apologies if this is/was inconvenient.
I saw some prior github discussion on whether "python2" or "python" is best'; IMHO, "python" is best as virtualenv allows the desired binary to be specified at env creation time.
CLA forthcoming, I'm quite a long way from printers/scanners and all those sorts of things.
Hi Max,
no problem, thanks for the patch!
Cheers, Gerwin
On 04.08.2014, at 12:55 pm, Max R.D. Parmer maxp@trystero.is wrote:
This patch targets the core "seL4" repo.
I idly submitted a PR on github before reading anything at all really (beyond checking to see if the issue was made more consistent in subsequent commits). Apologies if this is/was inconvenient.
I saw some prior github discussion on whether "python2" or "python" is best'; IMHO, "python" is best as virtualenv allows the desired binary to be specified at env creation time.
CLA forthcoming, I'm quite a long way from printers/scanners and all those sorts of things. -- @maximus_freeman 0x7D964D3361142ACF <0001-Use-usr-bin-env-for-all-python-bangpaths-to-enable-v.patch>_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
________________________________
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Now merged.
Cheers, Gerwin
On 05.08.2014, at 8:49 am, Gerwin Klein gerwin.klein@nicta.com.au wrote:
Hi Max,
no problem, thanks for the patch!
Cheers, Gerwin
On 04.08.2014, at 12:55 pm, Max R.D. Parmer maxp@trystero.is wrote:
This patch targets the core "seL4" repo.
I idly submitted a PR on github before reading anything at all really (beyond checking to see if the issue was made more consistent in subsequent commits). Apologies if this is/was inconvenient.
I saw some prior github discussion on whether "python2" or "python" is best'; IMHO, "python" is best as virtualenv allows the desired binary to be specified at env creation time.
CLA forthcoming, I'm quite a long way from printers/scanners and all those sorts of things. -- @maximus_freeman 0x7D964D3361142ACF <0001-Use-usr-bin-env-for-all-python-bangpaths-to-enable-v.patch>_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
-
Gerwin Klein -
Gerwin Klein
-
Max R.D. Parmer