Hello GNU Bash developers!
a week ago I've send you a bug report and as follow-up the fix patch below,
but so far I did not get any reply, not even an ACK or ticket number
that anyone received my mails.
I would like to roll out that bug fix and did hope that I'll get
a) any reaction and comment
On Mon, Aug 20, 2007 at 07:40:47AM +0200, thomas wrote:
> Sometimes I want to change the font of my terminal (urxvt): for
> instance, I am tired and want a bigger font. I can use a bash alias
> (or a keyboard shortcut) which runs these two lines:
>
> printf '\e]710;%s\007' 'xft:DejaVu Sans Mono:si
Configuration Information [Automatically generated, do not change]:
Machine: i686
OS: linux-gnu
Compiler: gcc
Compilation CFLAGS: -DPROGRAM='bash' -DCONF_HOSTTYPE='i686' -DCONF_OSTYPE='linu
x-gnu' -DCONF_MACHTYPE='i686-pc-linux-gnu' -DCONF_VENDOR='pc' -DLOCALEDIR='/usr/
share/locale' -DPACKAGE='ba
Harald Koenig wrote:
> Hello GNU Bash developers!
>
>
> a week ago I've send you a bug report and as follow-up the fix patch below,
> but so far I did not get any reply, not even an ACK or ticket number
> that anyone received my mails.
I received the mail, but had already fixed the problem sever
Hi Chet,
thanks for your quick answer!
On Aug 22, Chet Ramey wrote:
> > a) any reaction and comment on my report and esp. on the patch
>
> The code fix is in the wrong place; it needs to go into
> set_completion_defaults().
thanks for this pointer!
> > b) this will be a an official patch bef
