Configuring socks5 proxy for VLC 1.1.7

[balotin]

Good morning,
I am oversea right now, but I need to listen to a radio available only from my Countrie: UK
So I am using tor with UK exit node.
But I prefere to use VLC instead of firefox and flash, because flash is bad, so I look up for any way to config TOR and polipo on VLC, but the Wiki say nothing about this. And informations collected from this forum are obsolete because it has been said that

SOCKS proxy configuration in VLC is available here (in the prefs) :

-> Input / Codecs
---> Advanced

(you need to check "advanced options" in order to see the SOCKS configuration options)

.

But I don't have "advanced" in input / codecs

And I can't find any proxy configuration, neither network configuration in preference.

So where can Y put: "use the proxy 127.0.0.1:8118 for HTTP and SSL" and "use 127.0.0.1:9050 for socks"?

[Rémi Denis-Courmont]

It's in Input / Codecs -> Proxy SOCKS.

[christopherw]

Interesting, I'm currently running 1.1.11 stable and there's no SOCKS Proxy options (just standard HTTP in the HTTP(S) section). Feature been removed again or is it still considered experimental?

[Rémi Denis-Courmont]

It's still there unmoved as of VLC 1.1.12.

[christopherw]

It's still there unmoved as of VLC 1.1.12.

OF COURSE! How could we all be so blind; it's not in a submenu inside "Input / Codecs", it's (way down the list on) the "Input / Codecs" main options page! No wonder I couldn't find it.

Curiously last night I ended up trying the commandline switch --socks (also tried in the GUI when opening a stream); all attempts ended with VLC bombing out (CTD) as soon as it tried to resolve the file to stream. Reported the bug using VLC's automated reporter. Setting the SOCKS proxy inside the "Input / Codecs" section works perfectly though.