mpv audio delay

動画プレイヤーのmpvを最近良く使うけどBluetoothで音が遅れるのでディレイ掛けたい．
vlcだとj,kというショートカットで50msずつずらせたので同じようなことがしたい．
man見ると載っててmpvだとCtrl + / Ctrl -みたい，だけど100ms単位．
コマンドラインオプションや設定ファイルだと細かく指定できた．

ショートカット

Ctrl + and Ctrl -
Adjust audio delay by +/- 0.1 seconds.

※100ms単位(VLCは50ms単位)

オプション

--audio-delay=
Audio delay in seconds (positive or negative float value). Positive values delay the audio, and negative values delay the video.

こちらは細かい時間を指定可能．以下は-250msを指定．
$ mpv --audio-delay=-0.25 FILE
この状態でショートカットを利用すると-250ms -> -150msのような感じに100ms単位で移動する．

設定ファイル

$ cat ~/.config/mpv/mpv.conf
audio-delay=-0.25

環境

$ lsb_release -d
Description: Ubuntu Zesty Zapus (development branch)
$ uname -a
Linux x200 4.9.0-15-generic #16-Ubuntu SMP Fri Jan 20 15:31:12 UTC 2017 x86_64 x86_64 x86_64 GNU/Linux
$ dpkg-query -W mpv
mpv 0.23.0-2

引用はmpv(1)より