Re: Failed to execute child process (no such file or directory), but the script DOES exist in $HOME/bin, openbox users, especially take a look, please.

From	Greg Wooledge <wooledg@eeg.ccf.org>
Newsgroups	linux.debian.user
Subject	Re: Failed to execute child process (no such file or directory), but the script DOES exist in $HOME/bin, openbox users, especially take a look, please.
Date	2016-09-27 14:30 +0200
Message-ID	<slZGi-11P-19@gated-at.bofh.it> (permalink)
References	(5 earlier) <skBG1-6fB-1@gated-at.bofh.it> <sl0XL-53s-1@gated-at.bofh.it> <sllSx-1a9-1@gated-at.bofh.it> <slLtE-wZ-3@gated-at.bofh.it> <slM6l-JE-21@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw

On Mon, Sep 26, 2016 at 05:58:59PM -0400, Neal P. Murphy wrote:
> A semantic observation (probably unrelated to the aforementioned editing):
> "... dot in ..." might be more clearly stated as "... source ( or '.') in
> ..." because the action is to source the script into the current shell (thus
> retaining the defined vars), as opposed to executing the script in another
> shell or in a subshell (thus the var definitions are lost when the shell or
> subshell exits).

I explicitly avoided the word "source" because it is a bash extension,
and thus will not work in the POSIX sh that reads these files.

If you could go back in time to ~1978 and put the "source" command into
the Bourne shell, so that it would be a recognized command in all of
the Bourne family shells today, then we wouldn't have this confusion.

Thread

Failed to execute child process (no such file or directory), but the  script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Tony Baldwin <tonybaldwin@gmx.com> - 2016-09-21 15:50 +0200
  Re: Failed to execute child process (no such file or directory) ... "Thomas Schmitt" <scdbackup@gmx.net> - 2016-09-21 16:00 +0200
  Re: Failed to execute child process (no such file or directory), but the script DOES exist in $HOME/bin, openbox users, especially take a look, please. Greg Wooledge <wooledg@eeg.ccf.org> - 2016-09-21 16:10 +0200
    Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Tony Baldwin <tonybaldwin@gmx.com> - 2016-09-21 16:50 +0200
      Re: Failed to execute child process (no such file or directory), but the script DOES exist in $HOME/bin, openbox users, especially take a look, please. Greg Wooledge <wooledg@eeg.ccf.org> - 2016-09-21 17:10 +0200
        Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Anthony Baldwin <baldwinlinguas@gmx.com> - 2016-09-21 21:30 +0200
          Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users,  especially take a look, please. David Wright <deblis@lionunicorn.co.uk> - 2016-09-22 04:30 +0200
            Re: Failed to execute child process (no such file or directory), but the script DOES exist in $HOME/bin, openbox users, especially take a look, please. Greg Wooledge <wooledg@eeg.ccf.org> - 2016-09-22 15:20 +0200
              Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. <tomas@tuxteam.de> - 2016-09-22 15:30 +0200
              Re: Failed to execute child process (no such file or directory), but the script DOES exist in $HOME/bin, openbox users, especially take a look, please. Greg Wooledge <wooledg@eeg.ccf.org> - 2016-09-22 16:00 +0200
                Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Brian <ad44@cityscape.co.uk> - 2016-09-22 16:30 +0200
                Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Ric Moore <wayward4now@gmail.com> - 2016-09-22 18:30 +0200
              Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Brian <ad44@cityscape.co.uk> - 2016-09-22 16:00 +0200
              Re: Failed to execute child process (no such file or directory),  but the script DOES exist in $HOME/bin, openbox users, especially take a  look, please. Tixy <tixy@yxit.co.uk> - 2016-09-22 16:20 +0200
                Re: Failed to execute child process (no such file or directory), but the script DOES exist in $HOME/bin, openbox users, especially take a look, please. Greg Wooledge <wooledg@eeg.ccf.org> - 2016-09-22 17:00 +0200
                Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Darac Marjal <mailinglist@darac.org.uk> - 2016-09-22 17:20 +0200
                Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Brian <ad44@cityscape.co.uk> - 2016-09-22 18:40 +0200
                Re: Failed to execute child process (no such file or directory), but the script DOES exist in $HOME/bin, openbox users, especially take a look, please. Greg Wooledge <wooledg@eeg.ccf.org> - 2016-09-22 22:20 +0200
                Re: Failed to execute child process (no such file or directory),  but the script DOES exist in $HOME/bin, openbox users, especially take a  look, please. Dominic Knight <dominicknight@gmx.com> - 2016-09-23 01:30 +0200
                Re: Failed to execute child process (no such file or directory),  but the script DOES exist in $HOME/bin, openbox users, especially take a  look, please. Curt <curty@free.fr> - 2016-09-23 11:00 +0200
                Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. <tomas@tuxteam.de> - 2016-09-23 11:40 +0200
                Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. tomas@tuxteam.de - 2016-09-23 11:50 +0200
                Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Brian <ad44@cityscape.co.uk> - 2016-09-23 18:40 +0200
                Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Brian <ad44@cityscape.co.uk> - 2016-09-24 21:40 +0200
                Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Brian <ad44@cityscape.co.uk> - 2016-09-25 20:00 +0200
                Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Brian <ad44@cityscape.co.uk> - 2016-09-26 23:20 +0200
                Re: Failed to execute child process (no such file or directory), but the script DOES exist in $HOME/bin, openbox users, especially take a look, please. Greg Wooledge <wooledg@eeg.ccf.org> - 2016-09-26 23:50 +0200
                Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Seeker <seeker5528@comcast.net> - 2016-09-27 07:50 +0200
                Re: Failed to execute child process (no such file or directory), but the script DOES exist in $HOME/bin, openbox users, especially take a look, please. Greg Wooledge <wooledg@eeg.ccf.org> - 2016-09-27 14:30 +0200
                Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Brian <ad44@cityscape.co.uk> - 2016-09-27 16:20 +0200
                Re: Failed to execute child process (no such file or directory), but the script DOES exist in $HOME/bin, openbox users, especially take a look, please. Greg Wooledge <wooledg@eeg.ccf.org> - 2016-09-27 16:40 +0200
                Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Brian <ad44@cityscape.co.uk> - 2016-09-27 18:00 +0200
                Re: Failed to execute child process (no such file or directory), but the script DOES exist in $HOME/bin, openbox users, especially take a look, please. Greg Wooledge <wooledg@eeg.ccf.org> - 2016-09-27 18:10 +0200
                Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Brian <ad44@cityscape.co.uk> - 2016-09-27 21:00 +0200
                Re: Failed to execute child process (no such file or directory),  but the script DOES exist in $HOME/bin, openbox users, especially take a  look, please. "Neal P. Murphy" <neal.p.murphy@alum.wpi.edu> - 2016-09-27 00:00 +0200
                Re: Failed to execute child process (no such file or directory), but the script DOES exist in $HOME/bin, openbox users, especially take a look, please. Greg Wooledge <wooledg@eeg.ccf.org> - 2016-09-27 14:30 +0200
                Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Brian <ad44@cityscape.co.uk> - 2016-09-22 18:00 +0200
                Re: Failed to execute child process (no such file or directory),  but the script DOES exist in $HOME/bin, openbox users, especially take a  look, please. Tixy <tixy@yxit.co.uk> - 2016-09-22 21:00 +0200
                Resolved: Failed to execute child process (no such file or  directory), but the script DOES exist in $HOME/bin, openbox users, especially  take a look, please. Tony Baldwin <tonybaldwin@gmx.com> - 2016-09-22 17:30 +0200
                Re: Resolved: Failed to execute child process (no such file or  directory), but the script DOES exist in $HOME/bin, openbox users, especially  take a look, please. Seeker <seeker5528@comcast.net> - 2016-09-22 18:10 +0200
                Re: Resolved: Failed to execute child process (no such file or directory), but the script DOES exist in $HOME/bin, openbox users, especially take a look, please. Greg Wooledge <wooledg@eeg.ccf.org> - 2016-09-22 18:20 +0200
                Re: Resolved: Failed to execute child process (no such file or  directory), but the script DOES exist in $HOME/bin, openbox users,  especially take a look, please. Brian <ad44@cityscape.co.uk> - 2016-09-22 19:50 +0200
                Re: Resolved: Failed to execute child process (no such file or  directory), but the script DOES exist in $HOME/bin, openbox users, especially  take a look, please. Seeker <seeker5528@comcast.net> - 2016-09-23 03:30 +0200
                Re: Resolved: Failed to execute child process (no such file or  directory), but the script DOES exist in $HOME/bin, openbox users, especially  take a look, please. Seeker <seeker5528@comcast.net> - 2016-09-23 19:10 +0200
                Re: Resolved: Failed to execute child process (no such file or  directory), but the script DOES exist in $HOME/bin, openbox users,  especially take a look, please. Brian <ad44@cityscape.co.uk> - 2016-09-23 19:30 +0200
                Re: Resolved: Failed to execute child process (no such file or  directory), but the script DOES exist in $HOME/bin, openbox users, especially  take a look, please. Seeker <seeker5528@comcast.net> - 2016-09-24 08:40 +0200
              Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Brian <ad44@cityscape.co.uk> - 2016-09-22 21:10 +0200
              Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Brian <ad44@cityscape.co.uk> - 2016-09-22 21:50 +0200
          Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Seeker <seeker5528@comcast.net> - 2016-09-22 18:20 +0200
  Re: Failed to execute child process (no such file or directory), but  the script DOES exist in $HOME/bin, openbox users, especially take a look,  please. Darac Marjal <mailinglist@darac.org.uk> - 2016-09-21 16:10 +0200

csiph-web