En caso que estes usando el escritorio, y Gnome Shell, puedes hacerlo así:
Ve a Configuraciones de Red, que esta debajo de Configuraciones de sistema.
Selecciona proxy:
Selecciona el metodo manual, introduce la IP y el puerto de tu servidor proxy, en el ejemplo se puede ver el caso del puerto de Squid.