Si fa così:
rm ./-qualchecosa
rm ./-qualchecosa
Quanto scritto di seguito vale, ovviamente, anche per le ultime release di Debian.
Appunto veloce veloce...
La soluzione più immediata è quella di scrivere questa riga nel nostro bel terminale
export http_proxy="http://nostro.proxy.it:3128"
e lanciare il solito apt-get update && apt-get upgrade.
Bene sul momento, ma dovremo rifarlo tutte le volte (o valorizzare la variabile http_proxy per il nostro ambiente, cosa che forse non ci interessa fare). Se invece vogliamo aggiungere la configurazione del proxy per apt al nostro server Ubuntu (continuo a riferirmi alla versione server perché con l'ambiente grafico è tutto più semplice) è sufficiente creare il file proxy all'interno della cartella /etc/apt/apt.conf.d e scriverci dentro la riga seguente:
Acquire::http::Proxy "http://nostro.proxy.it:3128";