Re: Eliminar pitidos [FUNCIONA]
On Thu, 11 Nov 1999, Miguel Rodriguez Penabad wrote:
> Hue-Bond wrote:
> > El jueves 11 de noviembre de 1999 a la(s) 16:21:29 +0100, Miguel Rodriguez Penabad contaba:
> > >
> > >El caso es que en la universidad utilizo Solaris, y me he
> > >puesto bash como shell para tenerla como en casa :)
> > >Pero solaris no tiene setterm :(
> >
> > Prueba "set bell-style none" en .inputrc.
>
> Eso sí ha funcionado!!! :) Por fin podré oír algo que no "pite"
En Debian puedes usar también /etc/inputrc de forma global.
--
"871753cb87ce069645b7e17dd75c68f2" (a truly random sig)
Reply to: