In general (independent of the distribution) in a terminal you could use the following commands
Code:
export http_proxy=192.168.1.3
export https_proxy=192.168.1.3
export ftp_proxy=192.168.1.3
of course you will have to use the real IP-address of the university proxy. Note that this setting is only valid for the shell where the command was executed.
When you want to use the settings for your whole session, you could put the settings in a script which must be
sourced, not executed create a script named (for example) "proxysettings"
Code:
# proxysettings
export http_proxy=192.168.1.3
export https_proxy=192.168.1.3
export ftp_proxy=192.168.1.3
then you can source it in your ~/.bashrc with the following command
Code:
source proxysettings
The disadvantage is that this would always be done when you login, not only at university. If you only need the proxy in a terminal for downloading, you can source the script on the commandline with the same command.
Markus