Proxy HTTP / HTTPS e FFmpeg

Devo usare FFmpeg dietro un server proxy HTTP / HTTPS. Sto usando la seguente riga di comando:

ffmpeg -v debug -http_proxy http://localhost:8888 -i "https://bitmovin-a.akamaihd.net/content/sintel/sintel.mpd"

Il comando ha esito positivo, FFmpeg scarica i segmenti manifest e di inizializzazione DASH, ma non lo fa attraverso il server proxy.

Ho trovato che se cambio l'URL a http, invece di https, scaricherà il manifest tramite il proxy, ma i segmenti non vengono scaricati tramite il proxy. Sembra probabile che ciò avvenga perché i segmenti nel manifest sono HTTPS.

Come posso convincere FFmpeg a utilizzare il mio proxy per le richieste HTTPS oltre a HTTP?

Secondo la fonte,

if (!strcmp(proto, "https")) {
    lower_proto = "tls";
    use_proxy   = 0;

quindi l'opzione della riga di comando ffmpeg non funzionerà.

Tuttavia, il trasporto sicuro sembra consentire l'uso del proxy se si fornisce il percorso utilizzando una variabile di ambiente.

proxy_path = getenv("http_proxy");
...

if (use_proxy) {
    char proxy_host[200]...

Vedrò se l'opzione CLI può essere aggiunta.