Re: master 2ec8f28: Introduce defcustom 'executable-prefix-env'

["Andrew L. Moore" <slewsys@gmail.com>]

> On Jul 24, 2017, at 12:38 PM, Glenn Morris <rgm@gnu.org> wrote:
> 
> 
> PS personally I don't see what was wrong with
> 
> (setq executable-prefix "#!/usr/bin/env ")'
> 
> http://lists.gnu.org/archive/html/emacs-devel/2017-06/msg00170.html

Glenn,
If you're referring to the patch in it's original form, yes it’s more general,
but I agree with Eli that it’s pretty opaque.

Regarding “deprecation" of the variable `executable-prefix', there’s an argument
for not removing it:  the path of env (i.e., “/usr/bin/env”) is not universal.  On those
systems, the variable `executable-prefix’ would be a fallback.  And indeed, the
updated patch is written so that if the variable `executable-prefix’ is anything other
than “#!” or “#!/usr/bin/env”,  then it takes precedences over the value of
`executable-prefix-env’.

Okay, that explanation may be approaching opaque too, but if so, then let it be
another argument for simplicity over generality :)
-AM

> mentions safety concerns, but you always could, and still can, set it to
> "#!/bin/rm " if you are so inclined. It's not even marked risky. But I
> guess that would be pointless, since if someone could add a nasty
> file-local setting, they could just directly add the #! line as well;
> don't run scripts untrusted people can edit.