diff options
author | Alessandro Ghedini <alessandro@ghedini.me> | 2014-06-01 18:25:21 +0200 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2014-06-01 19:55:45 +0200 |
commit | f2a00f3de366d4c1da13b82c03753ba14dfee6b4 (patch) | |
tree | 0cfbeeabbe766d233845f9177a5215c141a717d9 /DOCS | |
parent | b8cb86047106701d9c3bee63075c3664ad9bd936 (diff) | |
download | mpv-f2a00f3de366d4c1da13b82c03753ba14dfee6b4.tar.bz2 mpv-f2a00f3de366d4c1da13b82c03753ba14dfee6b4.tar.xz |
player: write file name to the watch later config file
This simply writes the file name as a comment to the top of the watch later
config file.
It can be useful to the user for determining whether a watch later config file
can be manually removed (e.g. in case the corresponding media file has been
deleted) or not.
Diffstat (limited to 'DOCS')
-rw-r--r-- | DOCS/man/en/options.rst | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/DOCS/man/en/options.rst b/DOCS/man/en/options.rst index 811fcf19dc..b53d86b744 100644 --- a/DOCS/man/en/options.rst +++ b/DOCS/man/en/options.rst @@ -1832,6 +1832,15 @@ OPTIONS This behavior is disabled by default, but is always available when quitting the player with Shift+Q. +``--write-filename-in-watch-later-config`` + Prepend the watch later config files with the name of the file they refer + to. This is simply written as comment on the top of the file. + + .. warning:: + + This option may expose privacy-sensitive information and is thus + disabled by default. + ``--screen=<default|0-32>`` In multi-monitor configurations (i.e. a single desktop that spans across multiple displays), this option tells mpv which screen to display the |