On 2012/11/23 22:44:16, bnoordhuis1 wrote:
On 2012/11/21 10:04:53, Jakob wrote:
> How about this instead:
>
> sudo ln -s /usr/bin/python2.7 /usr/bin/python
>
> That fixes all your scripts/applications/buildsystems at once, which is
an
> approach that scales much better than adding complexity to 150 other
projects.
In case you missed my reply on the mailing list:
I saw it.
that only works if the user has root access on that machine.
Aw, come on:
ln -s /usr/bin/python2.7 ~/bin/python
export PATH="~/bin:$PATH"
I don't understand your "adding complexity to 150 other projects" remark.
It's
a
self-contained patch to V8 that adds an *optional* override. It does *not*
change the default behavior.
Adding an optional override means adding complexity. Sure, it's a small
change,
but small portions of complexity also add up, and at some point you have
hundreds of thousands of possible combinations of flags and overrides,
it'll be
unclear which of them are used, which are outdated, which are broken
anyway, and
it becomes next to impossible to change anything without breaking
something. The
latter point means that this *will* break at some point: someone will
modify the
build system and forget or just not know that "python" should not be
hard-coded.
This CL is an example of complexity that I think can be avoided. If you
happen
to run one of the 1% of Unix-like operating systems where "python" isn't
called
"python", fixing your system is easier, more robust and more scalable than
fixing all scripts that expect to have a plain "python" binary somewhere on
the
$PATH. (Even better, upstream the change to make the OS more usable for
everyone.)
If Sven still doesn't agree with me, he is free to approve and land this
patch,
I won't veto that.
https://codereview.chromium.org/11418101/
--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
---
You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
