Aus magischen Gründen halten es die VLC-Macher für eine gute Idee, die Proxy-Einstellungen (die VLC durchaus beherrscht) nicht im GUI zur Verfügung zu stellen. Dazu braucht man den Kommandozeilen-Parameter:
–http-proxy=SERVERNAME:8080
Windows 7 macht es jetzt aus weiteren mindestens ebenso magischen Gründen ernsthaft schwer, seine Taskleisten-Verknüpfung zu bearbeiten. Das geht dann so: mit der rechten MT das Menü („Jumplist“) öffnen und noch einmal mit der rechten MT auf den VLC-Eintrag und auf die Eigenschaften. Dann lässt sich der Aufruf entsprechend bearbeiten. Wenn man VLC nun über diese Verknüpfung startet, nutzt er einen Proxyserver.
Tipp: Hat man (wie ich) in der Jumplist gleich mehrere Dinge festgepinnt (Onlineradios und so was), starten diese natürlich NICHT mit dem eingetragenen Proxy. Dafür habe ich auch noch keinen Workaround gefunden, ausser einer lokalen PLS die einen indirekten Proxy-Link enthält ….