[tor-bugs] #6441 [TorBirdy]: custom proxy settings lost after restart, user.js ignored

[Tor Bug Tracker & Wiki]

#6441: custom proxy settings lost after restart, user.js ignored
----------------------+-----------------------------------------------------
 Reporter:  proper    |          Owner:  ioerror
     Type:  defect    |         Status:  new    
 Priority:  normal    |      Milestone:         
Component:  TorBirdy  |        Version:         
 Keywords:            |         Parent:         
   Points:            |   Actualpoints:         
----------------------+-----------------------------------------------------
 Version: TorBirdy 0.0.10

 I wanted to use a proxy on a non-standard IP/port. Custom proxy settings
 are always lost after restart.

 Therefore I wanted to use the [http://kb.mozillazine.org/User.js_file
 user.js] file to override it. (Works with TorButton.)

 {{{
 user_pref("network.proxy.socks", "192.168.0.10");
 user_pref("network.proxy.socks_port", 9102);
 }}}

 Using user.js is also ineffective. Using custom proxy settings has worked
 with a older TorBirdy version, although I forgot which one.

-- 
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/6441>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online