Using the proxy server - Laptörténet

Admin, 2022. november 14., 14:09-n

2022-11-14T14:09:15Z

← Régebbi változat		A lap 2022. november 14., 16:09-kori változata
8. sor:		8. sor:

	'''Configuring different browsers:'''		'''Configuring different browsers:'''
	* Google Chrome: Settings -> System -> Open your computer's proxy settings -> Then add '''proxy.renyi.hu''' and '''1456''' and click on the switch below "Use a proxy server".		* '''Google Chrome''': Settings -> System -> Open your computer's proxy settings -> Then add '''proxy.renyi.hu''' and '''1456''' and click on the switch below "Use a proxy server".
	* Opera: Settings -> Advanced -> System -> Open your computer's proxy setting / or search for Proxy in Windows' search bar. Then add '''proxy.renyi.hu''' and '''1456''' and click on the switch below "Use a proxy server".		* '''Opera''': Settings -> Advanced -> System -> Open your computer's proxy setting / or search for Proxy in Windows' search bar. Then add '''proxy.renyi.hu''' and '''1456''' and click on the switch below "Use a proxy server".
	* Mozilla Firefox: Tools menu -> Settings -> General -> Network Settings -> Settings. Here select manual proxy configuration and enter to Http proxy: proxy.renyi.hu and port 1456. Then select "Also use this proxy for HTTPS" if needed.		* '''Mozilla Firefox''': Tools menu -> Settings -> General -> Network Settings -> Settings. Here select manual proxy configuration and enter to Http proxy: proxy.renyi.hu and port 1456. Then select "Also use this proxy for HTTPS" if needed.
	* Microsoft Edge: Tools menu -> Settings -> System and performance -> Open your computer's proxy settings -> Then add '''proxy.renyi.hu''' and '''1456''' and click on the switch below "Use a proxy server".		* '''Microsoft Edge''': Tools menu -> Settings -> System and performance -> Open your computer's proxy settings -> Then add '''proxy.renyi.hu''' and '''1456''' and click on the switch below "Use a proxy server".

Admin, 2022. november 14., 14:08-n

2022-11-14T14:08:56Z

← Régebbi változat		A lap 2022. november 14., 16:08-kori változata
8. sor:		8. sor:

	'''Configuring different browsers:'''		'''Configuring different browsers:'''
	* Google Chrome: Settings -> System -> ~~open~~ proxy settings -> ~~local network settings -> Check out the "use a proxy server on a local network" option and here enter to the proxy server and to the port:~~ proxy.renyi.hu and 1456.		* Google Chrome: Settings -> System -> Open your computer's proxy settings -> Then add '''proxy.renyi.hu''' and '''1456''' and click on the switch below "Use a proxy server".
			* Opera: Settings -> Advanced -> System -> Open your computer's proxy setting / or search for Proxy in Windows' search bar. Then add '''proxy.renyi.hu''' and '''1456''' and click on the switch below "Use a proxy server".
	* Opera: Settings -> Advanced -> System -> Open your computer's proxy setting / or search for Proxy in Windows' search bar. Then add '''proxy.renyi.hu''' and '''1456''' and click on the ~~swith~~ below "Use a proxy server".
	* Mozilla Firefox: Tools menu -> Settings -> General -> Network Settings -> Settings. Here select manual proxy configuration and enter to Http proxy: proxy.renyi.hu and port 1456. Then select "Also use this proxy for HTTPS" if needed.		* Mozilla Firefox: Tools menu -> Settings -> General -> Network Settings -> Settings. Here select manual proxy configuration and enter to Http proxy: proxy.renyi.hu and port 1456. Then select "Also use this proxy for HTTPS" if needed.
			* Microsoft Edge: Tools menu -> Settings -> System and performance -> Open your computer's proxy settings -> Then add '''proxy.renyi.hu''' and '''1456''' and click on the switch below "Use a proxy server".
	* Microsoft ~~Internet Explorer~~: Tools menu -> ~~Internet Options entry~~ -> ~~Connections tab~~ -> ~~LAN Settings button and here enter to the~~ proxy ~~server and to the port:~~ proxy.renyi.hu and 1456.

Admin, 2022. november 14., 14:03-n

2022-11-14T14:03:46Z

← Régebbi változat		A lap 2022. november 14., 16:03-kori változata
9. sor:		9. sor:
	'''Configuring different browsers:'''		'''Configuring different browsers:'''
	* Google Chrome: Settings -> System -> open proxy settings -> local network settings -> Check out the "use a proxy server on a local network" option and here enter to the proxy server and to the port: proxy.renyi.hu and 1456.		* Google Chrome: Settings -> System -> open proxy settings -> local network settings -> Check out the "use a proxy server on a local network" option and here enter to the proxy server and to the port: proxy.renyi.hu and 1456.
	* Opera: ~~Tools menu -> Preferences entry~~ -> Advanced ~~tab~~ -> ~~Network~~ -> Proxy ~~Servers button and here enter to all protocolls:~~ proxy.renyi.hu and 1456.
	* Mozilla Firefox: ~~Edit~~ menu -> ~~Preferences entry~~ -> General Settings ~~icon~~ -> ~~Connection~~ Settings ~~button~~. Here select manual proxy and enter to ~~http~~ proxy: proxy.renyi.hu and port 1456. Then select to use this ~~server~~ for ~~all protocols~~.		* Opera: Settings -> Advanced -> System -> Open your computer's proxy setting / or search for Proxy in Windows' search bar. Then add '''proxy.renyi.hu''' and '''1456''' and click on the swith below "Use a proxy server".
	* Firefox3 (modified path): Tools -> Options -> Advanced -> Network -> Connection Settings		* Mozilla Firefox: Tools menu -> Settings -> General -> Network Settings -> Settings. Here select manual proxy configuration and enter to Http proxy: proxy.renyi.hu and port 1456. Then select "Also use this proxy for HTTPS" if needed.

	* Microsoft Internet Explorer: Tools menu -> Internet Options entry -> Connections tab -> LAN Settings button and here enter to the proxy server and to the port: proxy.renyi.hu and 1456.		* Microsoft Internet Explorer: Tools menu -> Internet Options entry -> Connections tab -> LAN Settings button and here enter to the proxy server and to the port: proxy.renyi.hu and 1456.

Admin, 2022. november 14., 11:10-n

2022-11-14T11:10:59Z

← Régebbi változat		A lap 2022. november 14., 13:10-kori változata
1. sor:		1. sor:
	The proxy server of the institute has been reconfigured. As a result, electronic journals, databases etc. (until now available from the Institute only) can be accessed using an arbitrary computer.		The proxy server of the institute has been reconfigured. As a result, electronic journals, databases etc. (until now available from the Institute only) can be accessed using an arbitrary computer.

	The address of the proxy server is proxy.renyi.hu the corresponding port is 1456.		The address of the proxy server is '''proxy.renyi.hu''' the corresponding port is '''1456'''.

	To use the proxy server you need a login name and a password. The login name is the same as the one used with your renyi account. The password may be set on the following web page: https://aura.renyi.hu/renyi-support/index.php		To use the proxy server you need a login name and a password. The login name is the same as the one used with your renyi account. The password may be set on the following web page: https://aura.renyi.hu/renyi-support/index.php

	The password must be at least five characters long, and it should NOT be the same as the password corresponding to your account, since in the case of the proxy server the authentication goes through unsafe (not encoded) channels. After you set up the proxy, it can be used immediately. For security considerations in public places (e.g. internet-cafés, libraries) do NOT let the browser remember your password, and after use please delete the proxy settings.		The password must be at least five characters long, and it '''should NOT be the same''' as the password corresponding to your account, since in the case of the proxy server the authentication goes through unsafe (not encoded) channels. After you set up the proxy, it can be used immediately. For security considerations in public places (e.g. internet-cafés, libraries) do NOT let the browser remember your password, and after use please delete the proxy settings.

	Configuring different browsers:		'''Configuring different browsers:'''
	* Google Chrome: Settings -> System -> open proxy settings -> local network settings -> Check out the "use a proxy server on a local network" option and here enter to the proxy server and to the port: proxy.renyi.hu and 1456.		* Google Chrome: Settings -> System -> open proxy settings -> local network settings -> Check out the "use a proxy server on a local network" option and here enter to the proxy server and to the port: proxy.renyi.hu and 1456.
	* Opera: Tools menu -> Preferences entry -> Advanced tab -> Network -> Proxy Servers button and here enter to all protocolls: proxy.renyi.hu and 1456.		* Opera: Tools menu -> Preferences entry -> Advanced tab -> Network -> Proxy Servers button and here enter to all protocolls: proxy.renyi.hu and 1456.

Admin: Új oldal, tartalma: „The proxy server of the institute has been reconfigured. As a result, electronic journals, databases etc. (until now available from the Institute only) can be accessed using an arbitrary computer. The address of the proxy server is proxy.renyi.hu the corresponding port is 1456. To use the proxy server you need a login name and a password. The login name is the same as the one used with your renyi account. The password may be set on the following web page: https:…”

2022-09-22T11:10:21Z

Új oldal, tartalma: „The proxy server of the institute has been reconfigured. As a result, electronic journals, databases etc. (until now available from the Institute only) can be accessed using an arbitrary computer. The address of the proxy server is proxy.renyi.hu the corresponding port is 1456. To use the proxy server you need a login name and a password. The login name is the same as the one used with your renyi account. The password may be set on the following web page: https:…”

Új lap

The proxy server of the institute has been reconfigured. As a result, electronic journals, databases etc. (until now available from the Institute only) can be accessed using an arbitrary computer.

The address of the proxy server is proxy.renyi.hu the corresponding port is 1456.

To use the proxy server you need a login name and a password. The login name is the same as the one used with your renyi account. The password may be set on the following web page: https://aura.renyi.hu/renyi-support/index.php

The password must be at least five characters long, and it should NOT be the same as the password corresponding to your account, since in the case of the proxy server the authentication goes through unsafe (not encoded) channels. After you set up the proxy, it can be used immediately. For security considerations in public places (e.g. internet-cafés, libraries) do NOT let the browser remember your password, and after use please delete the proxy settings.

Configuring different browsers:
* Google Chrome: Settings -> System -> open proxy settings -> local network settings -> Check out the "use a proxy server on a local network" option and here enter to the proxy server and to the port: proxy.renyi.hu and 1456.
* Opera: Tools menu -> Preferences entry -> Advanced tab -> Network -> Proxy Servers button and here enter to all protocolls: proxy.renyi.hu and 1456.
* Mozilla Firefox: Edit menu -> Preferences entry -> General Settings icon -> Connection Settings button. Here select manual proxy and enter to http proxy: proxy.renyi.hu and port 1456. Then select to use this server for all protocols.
* Firefox3 (modified path): Tools -> Options -> Advanced -> Network -> Connection Settings
* Microsoft Internet Explorer: Tools menu -> Internet Options entry -> Connections tab -> LAN Settings button and here enter to the proxy server and to the port: proxy.renyi.hu and 1456.