[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: printf '%s\n' "$@" versus <<< redirection
From: |
Mike Jonkmans |
Subject: |
Re: printf '%s\n' "$@" versus <<< redirection |
Date: |
Tue, 21 Feb 2023 00:44:02 +0100 |
On Mon, Feb 20, 2023 at 10:40:13AM -0500, Chet Ramey wrote:
> On 2/18/23 12:45 PM, Mike Jonkmans wrote:
>
> > > "If IFS is unset, or its value is exactly <space><tab><newline>, the
> > > default, then sequences of <space>, <tab>, and <newline> at the beginning
> > > and end of the results of the previous expansions are ignored, and any
> > > sequence of IFS characters not at the beginning or end serves to delimit
> > > words."
> >
> > If IFS is unset then it is slightly ambiguous as to what the IFS characters
> > are,
> > in the last part of this sentence.
>
> If IFS is unset, word splitting and other uses behave as if it had the
> default value of space, tab, newline.
True.
But, if i have not overlooked this, it is not stated in the documentation.
Perhaps your text could be added to the description of IFS
in the 'Shell Variables' section.
--
Regards, Mike Jonkmans
- Re: printf '%s\n' "$@" versus <<< redirection, (continued)
- Re: printf '%s\n' "$@" versus <<< redirection, Kerin Millar, 2023/02/19
- Re: printf '%s\n' "$@" versus <<< redirection, Greg Wooledge, 2023/02/19
- Re: printf '%s\n' "$@" versus <<< redirection, Kerin Millar, 2023/02/19
- Re: printf '%s\n' "$@" versus <<< redirection, Greg Wooledge, 2023/02/19
- Re: printf '%s\n' "$@" versus <<< redirection, Kerin Millar, 2023/02/19
- Re: printf '%s\n' "$@" versus <<< redirection, Greg Wooledge, 2023/02/19
- Re: printf '%s\n' "$@" versus <<< redirection, goncholden, 2023/02/20
- Re: printf '%s\n' "$@" versus <<< redirection, Greg Wooledge, 2023/02/20
- Re: printf '%s\n' "$@" versus <<< redirection, goncholden, 2023/02/20
- Re: printf '%s\n' "$@" versus <<< redirection, Chet Ramey, 2023/02/20
- Re: printf '%s\n' "$@" versus <<< redirection,
Mike Jonkmans <=
- Re: printf '%s\n' "$@" versus <<< redirection, Greg Wooledge, 2023/02/20
- Re: printf '%s\n' "$@" versus <<< redirection, Mike Jonkmans, 2023/02/21
- Re: printf '%s\n' "$@" versus <<< redirection, Chet Ramey, 2023/02/21
- Re: printf '%s\n' "$@" versus <<< redirection, Chet Ramey, 2023/02/21