Re: Proposed new feature for bash: unbuffered pipes, part 1: overview

2020-04-22 Thread Greg Wooledge
On Tue, Apr 21, 2020 at 08:38:41PM -0400, Dale R. Worley wrote: > The "unbuffered pipe" symbol ">|>" causes Bash to set in the > environment of the "grep" process a variable "STDOUT_UNBUFFERED" with > a value that contains the dev and ino values for the pipe which the > "grep" process sees as fd 1.

PATCH [1/1]: compressedand - escape single ampersand found in URLs

2020-04-22 Thread Gonzalez, Eric (UMKC-Student)
I've written a feature I find useful for bash that escapes a single ampersand if it is surrounded on both sides by any non-blank or non-meta characters. This logic is toggled by a set option, "compressedand" that can be enabled with `set [-|+]c` or `set -o compressedand`. As an example: $

nameref pointing to array element

2020-04-22 Thread Daniel Molina
Hello, Is the following an intended behavior? Undefined? A bug? $ a[1]=2; declare -n ref=a[1]; echo $ref $((ref)) 2 0 Thanks, Daniel

Re: Proposed new feature for bash: unbuffered pipes, part 1: overview

2020-04-22 Thread Dale R. Worley
Greg Wooledge writes: > On Tue, Apr 21, 2020 at 08:38:41PM -0400, Dale R. Worley wrote: >> The "unbuffered pipe" symbol ">|>" causes Bash to set in the >> environment of the "grep" process a variable "STDOUT_UNBUFFERED" with >> a value that contains the dev and ino values for the pipe which the >>

Re: Proposed new feature for bash: unbuffered pipes

2020-04-22 Thread Dale R. Worley
The crux of the problem, IMHO, is to look at it from the right angle: Occasionally, the user desires that I/O through certain pipes should be unbuffered, that is, the stdio stream(s) that write into the pipe should be unbuffered, rather than the default block-buffered. These are situations where