You're here because you'd like to know how to set up your ssh config (and proxy).
Some reasons to do the first:
Here are the steps to go password-less:
Next up, here are the steps to add an alias for your config:
Host lnxsrv07 User arteen HostName lnxsrv07.seas.ucla.eduHost specifies the alias. User the user to log-in for. HostName is the endpoint. For example, where before you had typed ssh arteen@lnxsrv07.seas.ucla.edu, you can now type ssh lnxsrv07.
Finally, for those of you who'd like to bypass a VPN, I neither condone, admonish, or take any responsibility for this behavior:
ProxyJump serverwhere server is a remote host within the network you would like to access that does not require the usage of a VPN.