解决wsl无法同步本地代理的dns信息

问题

本地开了公司的，使用vscode的remote wsl插件连接wsl1，结果wsl里面无法解析公司内部的一些域名，查了下发现原来是wsl无法自动同步本地代理的dns信息。
wsl2没有这个问题，又是wsl1的坑。

解决方法

基本是通过一些脚本把windows里的dns信息copy到wsl中，如：

dnsfix () { /mnt/c/Windows/system32/ipconfig.exe /all | grep --color=auto "DNS Servers" | cut -d ":" -f 2 | grep --color=auto -e '^ [0-9]' | sed 's/^/nameserver/' | sudo tee /etc/resolv.conf > /dev/null }

把上面这个代码放到.bashrc下，source一下，再执行dnsfix更新下dns即可。
更多详细内容可参考：https://github.com/microsoft/WSL/issues/1350