Information on how to configure the OS X VPN client for EPFL can be found on the following page: http://macline.epfl.ch/page56984.html.

However, this method will not put an entry for the domain epfl.ch in your /etc/resolv.conf file; this means that you will not be able to use “short” names for domains within EPFL, but have to use fully qualified domain names. As an example,

ping www

will not work; you have to type

ping www.epfl.ch

To remedy this situation, you have to add epfl.ch to the list of domains to be searched. To this end, open the Network preference pane and switch to the VPN (PPTP) view. Under Search domains, enter epfl.ch as shown on the following picture: