Решение проблемы значительно продвинулось вперед.
В составе
rtmpdump есть софтинка rtmpgw-локальный проксик, принимающий rtmp и выдающий http потоки.
Для рипа с "http://inter.ua/uk/live" (rtmp://62.149.26.240:80/live/inter_hq) нужно запустить rtmpgw c параметрами:
F:\_Downloads\rtmpdump-2.3\rtmpgw -r "rtmp://62.149.26.240:80/live/inter_hq" -p "http://inter.ua/uk/live" -t "rtmp://62.149.26.240:80/live" -s "http://inter.ua/images/player.swf?t=9221255" -v
Вуаля, проксик вещает на 127.0.0.1:80.
Теперь берем тот же vlc и в диалоге "поконвертить/сохранить" вставляем адрес исходного потока (это
http://127.0.0.1:80) и, выбирая параметры выходного файла и его расположение, рипаем на лету в нужный контейнер с нужными кодеками.
VLC косячит. Даже последний релиз. Играет то, что получает от rtmpgw отлично, а вот конвертировать-никак. Либо пишет почти пустой файл, либо только звук, либо вылетает (давно через единицу перешагнули, а всё вылетает). Один раз неведомыми усилиями удалось добиться записи полноценного видео (mp4,кодеки не помню), однако после 5 секунд записи пошло искажение цветов и квадраты.((
Но в общем-то это уже небольшой оффтоп.
Чем еще можно конвертировать flv в http потоке ?