Ubuntu 18.04 под WSL: как переопределить resolv.conf

Проблема

WSL при генерации /etc/resolv.conf размещает DNS-сервера не в том порядке, в котором они идут в Windows. В моем конкретном случае это приводит к тому, что корпоративные ресурсы из-под Ubuntu резолвятся не в интранет, а в интернет-IP-адреса, что много чего ломает. 

При этом в файле /etc/resolv.conf первая строка следующая:

#This file was automatically generated by WSL. To stop automatic generation of this file, remove this line

Казалось бы, можно удалить эту строку, расставить DNS-сервера в правильном порядке, и наступит счастье. Но нет, файл все равно перегенеривается заново каждый раз, когда я запускаю bash в Ubuntu.

Решение

Удалить /etc/resolv.conf, затем создать его заново и прописать туда DNS-сервера в нужном порядке. Спасибо https://github.com/microsoft/WSL/issues/1908#issuecomment-315830161.