Esa vaina está muy rara... antes el archivo bash.bashrc aparecía con muchas líneas, pocas de ellas comentadas. Hoy me doy cuenta que tiene menos líneas, y la mayoría están comentadas. Además, habían desaparecido las líneas que ya había agregado, así que agregué de nuevo las línes http_proxy y ftp:proxy con la información del proxy entre comillas. Por último, reinicié el servicio de red.
Entonces fue uno de esos tres pasos el que funcionó, pero no sé si eran las comillas, el archivo bash.bashrc modificado misteriosamente, o el reinicio del servicio de red. Sea cual sea, afortunadamente ya funciona... (aunque me intriga demasiado el porqué se modificó solito el archivo bash.bashrc
).
En fin... gracias por la ayuda.
Ah, tampoco me gustó el hecho de que cuando hice "/etc/init.d/networking restart" no reinició el servicio de red, sólo lo detuvo. tocó reiniciarlo gráficamente. En fin... debian es muy raro...
