On Sat, 2019-09-07 at 12:06 +0200, Tobias Geerinckx-Rice wrote: > Mark, > > Mark H Weaver 写道： > > This should have been discussed more widely before pushing to > > 'master'. > > It should certainly have been discussed more widely before > reverting like you did. There was plenty of opportunity for you > to respond before that[0]. > > I have the impression this is not going anywhere productive, so > shall we just drop this meta-discussion? > > Despite what you may think, I *am* interested in your (or any) > reasoning to include /bin/sh and not /usr/bin/sh, but understand > the energy involved in reiterating. I'd rather see them both > gone; this was my compromise. > > Kind regards, > > T G-R > > [0]: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=35910
If I might chip in here to try to make this discussion a little more productive, a user suggested /usr/bin/env should be added by default[0] to solve a problem[1]. In summary, the user wanted to have a standard for scripting in guile and other common GNU distros. If including /usr/bin/env by default is not the best solution to the problem, perhaps we can find a better solution. I suggest we add the "guix shebang" command, which takes a script and returns a script with a shebang pointing to the proper source, like what 'patch-shebangs build phase does to all the scripts in the build source. It could replace the input script (perhaps when given the -- replace option) or it could put the resulting script in the store and accept the --root= option. Thoughts? [0]: https://lists.gnu.org/archive/html/help-guix/2019-09/msg00037.html [1]: https://lists.gnu.org/archive/html/help-guix/2019-09/msg00024.html
