Tor browser cannot connect to SOCKS server if it is not specified by IP address
I have tor running at another host with IP 10.0.0.1. It is accessible by tor-browser running on 10.0.0.2 via network connection. In TBB 8.0.3, if I put in
/path/to/Browser/TorBrowser/Data/Browser/profile.default/user.js an option
it works fine. However, if I put
myproxy is added to
10.0.0.1 myproxy, tor-browser cannot connect. Original firefox 60.3.0 (8.0.3 is based on this version) works fine if proxy is specified as
myproxy. Is it a feature or bug? Do we have some workaround for this?