The difference between your old resolv.config file and the new one is nameserver 188.8.131.52
which already is on my file. So I think your file won't work with my network
Beside that nameserver 192.168.1.254
shows that you might be on corporate LAN too and you have "internal" nameserver serving your network. It is useless for my situation.
Will it work if I replace that string after search
with IP address for my network's proxy?
I think I'll have to play with it.