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

[Eli Zaretskii <eliz@gnu.org>]

> From: Glenn Morris <rgm@gnu.org>
> Date: Mon, 24 Jul 2017 12:38:19 -0400
> Cc: "Andrew L. Moore" <slewsys@gmail.com>
> 
> 
> 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
> 
> 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.

Thanks for the feedback.  I actually left the patch sitting tight for
more than a month, hoping to have comments, before I pushed it...