[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add shell-quasiquote.
From: |
Andreas Schwab |
Subject: |
Re: [PATCH] Add shell-quasiquote. |
Date: |
Thu, 22 Oct 2015 17:51:56 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
David Kastrup <address@hidden> writes:
> Eli Zaretskii <address@hidden> writes:
>
>>> From: David Kastrup <address@hidden>
>>> Cc: Eli Zaretskii <address@hidden>, address@hidden,
>>> address@hidden, address@hidden
>>> Date: Thu, 22 Oct 2015 14:47:26 +0200
>>>
>>> [/bin/sh] is what "system" is supposed to run.
>>
>> Maybe I'm wrong, but my reading of Posix indicates that 'system' runs
>> "sh" in an unspecified directory.
>
> <URL:http://pubs.opengroup.org/onlinepubs/9699919799/>
>
> [CX] [Option Start] The system() function shall behave as if a child
> process were created using fork(), and the child process invoked the
> sh utility using execl() as follows:
>
> execl(<shell path>, "sh", "-c", command, (char *)0);
>
> where <shell path> is an unspecified pathname for the sh utility.
> [...]
>
> Well, you're quite right. It's not even necessary that the executable
> file in the unspecified directory is actually called "sh" as long as it
> is called with argv[0] being "sh".
That's because file system hierarchy is outside the scope of POSIX
(execept for a few items as specified in 10.1 Directory Structure and
Files). In Unix, <shell path> is always "/bin/sh".
Andreas.
--
Andreas Schwab, SUSE Labs, address@hidden
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."
- Re: [PATCH] Add shell-quasiquote., (continued)
- Re: [PATCH] Add shell-quasiquote., Wolfgang Jenkner, 2015/10/21
- Re: [PATCH] Add shell-quasiquote., Eli Zaretskii, 2015/10/21
- Re: [PATCH] Add shell-quasiquote., Wolfgang Jenkner, 2015/10/21
- Re: [PATCH] Add shell-quasiquote., Eli Zaretskii, 2015/10/21
- Re: [PATCH] Add shell-quasiquote., John Wiegley, 2015/10/21
- Re: [PATCH] Add shell-quasiquote., Wolfgang Jenkner, 2015/10/22
- Re: [PATCH] Add shell-quasiquote., Jeff Clough, 2015/10/22
- Re: [PATCH] Add shell-quasiquote., David Kastrup, 2015/10/22
- Re: [PATCH] Add shell-quasiquote., Eli Zaretskii, 2015/10/22
- Re: [PATCH] Add shell-quasiquote., David Kastrup, 2015/10/22
- Re: [PATCH] Add shell-quasiquote.,
Andreas Schwab <=
- Re: [PATCH] Add shell-quasiquote., Wolfgang Jenkner, 2015/10/22
- Re: [PATCH] Add shell-quasiquote., Eli Zaretskii, 2015/10/22
- Re: [PATCH] Add shell-quasiquote., David Kastrup, 2015/10/22
- Re: [PATCH] Add shell-quasiquote., Paul Eggert, 2015/10/22
- Re: [PATCH] Add shell-quasiquote., Eli Zaretskii, 2015/10/22
- Re: [PATCH] Add shell-quasiquote., Wolfgang Jenkner, 2015/10/22
- Re: [PATCH] Add shell-quasiquote., David Kastrup, 2015/10/21
- Re: [PATCH] Add shell-quasiquote., Random832, 2015/10/21
- Re: [PATCH] Add shell-quasiquote., Eli Zaretskii, 2015/10/21
- Re: [PATCH] Add shell-quasiquote., Random832, 2015/10/21