[PATCH] fix bashdb script handling of tmp directory

2005-09-21 Thread devin
fi } @@ -564,7 +564,7 @@ let _i=1 # Be careful about quoted newlines -_potbelliedpig=${TMPDIR-/tmp}/$_guineapig.$$ +_potbelliedpig=${TMPDIR-/tmp}/${_guineapig/*\//}.$$ sed 's,\\$,,' $_guineapig > $_potbelliedpig Thanks, Devin Bayer ___ Bug-bash mailing list Bug-bash@gnu.org http://lists.gnu.org/mailman/listinfo/bug-bash

Bug: terminal width incorrect if changed in child process

2006-07-28 Thread Devin Landes
PLATFORM bashver 3.00.16(1)-release hardware: intel 32 bit os: fedora core 4 BUG If the terminal width is changed while a child process of bash is running (e.g. less), bash does not notice the change when it regains control and line wrapping for the commandline works incorrectly. RECREATE make te

Readline Documentation

2024-09-11 Thread John Devin
ate: "The convert-meta variable has no effect if input-meta is off." From the manpage I would think so, but I'm just not confident. I also can't tell conclusively whether the output-meta variable is affected by convert-meta, or vice-versa. Thanks for your time, John Devin

Re: Readline Documentation

2024-09-13 Thread John Devin
Hey Chet, Thanks for getting back so fast. Just a couple points to make. On Thu, Sep 12, 2024 at 4:38 PM Chet Ramey wrote: > > On 9/11/24 3:19 PM, John Devin wrote: > > While hunting down some problems on a terminal, I ran across the > > option 'prefer-visible-bell

Manpage typo

2024-09-17 Thread John Devin
On line 3987 of bash.1 (here: https://git.savannah.gnu.org/cgit/bash.git/tree/doc/bash.1#n3987), `The\fBextglob\fP` is missing a space between 'The' and 'extglob'. I'm not sure how small typos have to be before they're not worth an email, so if this is, let me know. - John Devin

Re: Readline Documentation

2024-09-17 Thread John Devin
27;s not documented? > I think I can answer 'yes' to that, even if I can't quote any one post as saying "This isn't documented in the manpage." These two users (https://superuser.com/a/1620055) seem to have had some trouble, to the point that they had the right answer first and "un-corrected" it (see the edit history) to the wrong one: "I could have swore it used to be different, but so goes my memory!" - user at that link. Again though, kind of moot, if it's being removed so not much to discuss there. - John Devin