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)
Re: Eliminar pitidos [FUNCIONA]
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 Gracias a todos penabad @ mail2.udc.es -- Just do it. David Serrano [EMAIL PROTECTED] http://www.ctv.es/USERS/fserrano In love with TuX - Linux 2.2.13Linux Registered User #87069 -- = Miguel Rodriguez Penabadpenabad @ mail2.udc.es Laboratorio de Bases de Datos http://emilia.dc.fi.udc.es/labBD Facultade de InformáticaUniversidade da Coruña (Spain) Debian 2.1 [2.2.13] Usuario Linux 124962 =
