Re: [tor-bugs] #31654 [Core Tor/Tor]: Should --list-torrc-options and GETINFO config/names have more in common?

2019-09-11 Thread Tor Bug Tracker & Wiki
#31654: Should --list-torrc-options and GETINFO config/names have more in common? --+-- Reporter: nickm | Owner: (none) Type: defect| Status: new Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31654 [Core Tor/Tor]: Should --list-torrc-options and GETINFO config/names have more in common?

2019-09-10 Thread Tor Bug Tracker & Wiki
#31654: Should --list-torrc-options and GETINFO config/names have more in common? --+-- Reporter: nickm | Owner: (none) Type: defect| Status: new Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31654 [Core Tor/Tor]: Should --list-torrc-options and GETINFO config/names have more in common?

2019-09-10 Thread Tor Bug Tracker & Wiki
#31654: Should --list-torrc-options and GETINFO config/names have more in common? --+-- Reporter: nickm | Owner: (none) Type: defect| Status: new Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31654 [Core Tor/Tor]: Should --list-torrc-options and GETINFO config/names have more in common?

2019-09-10 Thread Tor Bug Tracker & Wiki
#31654: Should --list-torrc-options and GETINFO config/names have more in common? --+-- Reporter: nickm | Owner: (none) Type: defect| Status: new Priority: Medium| Milestone: Tor:

[tor-bugs] #31654 [Core Tor/Tor]: Should --list-torrc-options and GETINFO config/names have more in common?

2019-09-05 Thread Tor Bug Tracker & Wiki
#31654: Should --list-torrc-options and GETINFO config/names have more in common? --+-- Reporter: nickm | Owner: (none) Type: defect| Status: new Priority: Medium| Milestone: Tor: