SSH fast access
If ssh access from the CIP pool workstations to external computers is too slow you as a user of the CIP pool can set the following options in file ~/.ssh/config of your HOME directory:
For file ~./ssh/config the following rights should be set:
chmod 0600 ~/.ssh/config
Host name "server*" needs to be replaced with the name of the host you want to connect to.