diff options
| author | wm4 <wm4@nowhere> | 2014-04-17 23:55:04 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2014-04-17 23:55:42 +0200 |
| commit | 1b398e99f735e141d88186d4e1a722b9a00f4b9a (patch) | |
| tree | d7a4fdcba5071b020ac7038ba40bc67af1973a2f /player/command.c | |
| parent | 5059039c95f51cfe33f828a66d55b1255ab1626d (diff) | |
| download | mpv-1b398e99f735e141d88186d4e1a722b9a00f4b9a.tar.bz2 mpv-1b398e99f735e141d88186d4e1a722b9a00f4b9a.tar.xz | |
player: add a --loop-file option
Unlike --loop, loops a file instead of the playlist.
Diffstat (limited to 'player/command.c')
| -rw-r--r-- | player/command.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/player/command.c b/player/command.c index 9834b97b8a..c20e33167a 100644 --- a/player/command.c +++ b/player/command.c @@ -2205,6 +2205,7 @@ static const m_option_t mp_properties[] = { M_OPTION_PROPERTY("osd-level"), M_OPTION_PROPERTY_CUSTOM("osd-scale", property_osd_helper), M_OPTION_PROPERTY("loop"), + M_OPTION_PROPERTY("loop-file"), M_OPTION_PROPERTY_CUSTOM("speed", mp_property_playback_speed), { "filename", mp_property_filename, CONF_TYPE_STRING, 0, 0, 0, NULL }, |