Ups!, me equivoqué con el comando, en realidad es:
sudo apt-get --purge autoremove tor
Y para acceder mas fácil a lo del proxy:
gnome-network-preferences
PD: Cometí un error, me equivoqué con lo de NetworkManager, la cosa es con el Network-Preferences