...
Once in Terminal, you can use the same pinging of domains and IPs that you would in Windows.
...
If they can pinging ping domains works work then see if they have a firewall that may be blocking other internet access.
If they cannot ping IPs or domains then they will need to call their Internet Provider to check the network.
There may be a routing issue if they still can’t reach our servers. See the Routing Issues page for instructions to fix that. (link to page to be added when it is done)