> On Aug 31, 2021, at 3:16 AM, Přemysl Šťastný <p...@stty.cz> wrote: > > I didn't realize yesterday, that ksh93 is not a nick name, but ksh version > 93. :D
Sort of. > So it would be okey with you, if I try to implement it using <<#? The bash maintainer (who is not me) hasn’t yet indicated whether this is something he’d be interested in pursuing. The behavior is underspecified (ksh does not blindly remove all leading whitespace), and there are still compatibility concerns (as I mentioned earlier, there is currently at least one circumstance in which ‘<<#’ is valid syntax). > Is there any git repo of bash? Yes. https://savannah.gnu.org/git/?group=bash -- vq Sent from my iPhone
