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 /player | |
| 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 'player')
| -rw-r--r-- | player/configfiles.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/player/configfiles.c b/player/configfiles.c index 3ef2b7919e..fd0a8231c0 100644 --- a/player/configfiles.c +++ b/player/configfiles.c @@ -298,6 +298,8 @@ void mp_write_watch_later_conf(struct MPContext *mpctx) FILE *file = fopen(conffile, "wb"); if (!file) goto exit; + if (mpctx->opts->write_filename_in_watch_later_config) + fprintf(file, "# %s\n", mpctx->filename); fprintf(file, "start=%f\n", pos); for (int i = 0; backup_properties[i]; i++) { const char *pname = backup_properties[i]; |