Hello dear bash-bug readers,
I'm quite sure I have found a micro-bug in the bash which should take
about two lines of code to fix -- if you know where to put them. I
tried to locate the problem myself, but the innards of bash traps remain
a mystery to me. Anyway, the description is here:
https
Sebastian Kapfer wrote:
> Hello dear bash-bug readers,
>
> I'm quite sure I have found a micro-bug in the bash which should take
> about two lines of code to fix -- if you know where to put them. I
> tried to locate the problem myself, but the innards of bash traps remain
> a mystery to me. Anyw
Here is the bash-3.1 code from general.c for check_dev_tty.
It is invoked shortly after main...
void
check_dev_tty ()
{
int tty_fd;
char *tty;
tty_fd = open ("/dev/tty", O_RDWR|O_NONBLOCK);
if (tty_fd < 0)
{
tty = (char *)ttyname (fileno (stdin));
if (tty == 0)
r