Hm. What happens if you use Tor Browser's own means for configuring your proxy? You can do that on the launcher wizard (instead of connecting directly you need to choose the configure option). And later on if you don't have a proxy available you can remove that option on the wizard again as it is otherwise not connecting.
I am using Tor Browser's own means for configuring the proxy. When I'm at home I can't get to the wizard as Tor crashes before this step.
Here is a screen recording. It starts connected to my corporate network via VPN. I launch Torbrowser, configure it to use the socks proxy and use Torbrowser to search for Tor using DuckDuckGo.
Then I quit Torbrowser and drop the VPN and relaunch Torbrowser.
Torbrowser crashes before it is possible to change the proxy setting.
Thanks for the screen recording! I wonder if it would work for you if you clicked on "Open Settings" after you disabled your VPN and restarted Tor Browser but before the Tor related error message came up?
mcs, brade: I wonder why the "Reconfigure" option is not shown on the wizard after the first error message. Wasn't #11773 (moved) for that scenario as well?
Thanks for the screen recording! I wonder if it would work for you if you clicked on "Open Settings" after you disabled your VPN and restarted Tor Browser but before the Tor related error message came up?
I am not sure that will be possible. At least for me, tor exits immediately during startup because the proxy host cannot be resolved:
DATE [warn] Failed to parse/validate config: Socks5Proxy failed to parse or resolve. Please fix.
In the screen recording, it seemed to take a while though; I guess it depends on how fast the DNS lookup is for the unknown host (it might have to timeout if the DNS servers are unreachable).
mcs, brade: I wonder why the "Reconfigure" option is not shown on the wizard after the first error message. Wasn't #11773 (moved) for that scenario as well?
I don't think this scenario was covered. The problem is that "Reconfigure" is only possible if tor is running. Tor Launcher could include a "Delete existing configuration" checkbox (or a second restart button) on that "Restart Tor" wizard screen. If that option was chosen, Tor Launcher would zero out the torrc file before trying to start tor.
The best solution might be to use a separate browser profile when connected to the corporate network (I know that might be inconvenient).