ну, после долгих поисков, я обнаружил, что запись DNS, которая должна была быть сделана администратором сети, не была сделана. поэтому мне пришлось сделать это вручную, отредактировав файл /etc/resolv.conf и перезапустив сеть.
# Generated by NetworkManager # No nameservers found; try putting DNS servers into your # ifcfg files in /etc/sysconfig/network-scripts like so: # nameserver 8.8.8.8 nameserver 8.8.4.4 # DOMAIN=lab.foo.com bar.foo.com
Это решило проблему.