From f2a00f3de366d4c1da13b82c03753ba14dfee6b4 Mon Sep 17 00:00:00 2001 From: Alessandro Ghedini Date: Sun, 1 Jun 2014 18:25:21 +0200 Subject: 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. --- options/options.c | 1 + options/options.h | 1 + 2 files changed, 2 insertions(+) (limited to 'options') diff --git a/options/options.c b/options/options.c index 173d3493cc..9ac4a63632 100644 --- a/options/options.c +++ b/options/options.c @@ -559,6 +559,7 @@ const m_option_t mp_opts[] = { OPT_FLAG("resume-playback", position_resume, 0), OPT_FLAG("save-position-on-quit", position_save_on_quit, 0), + OPT_FLAG("write-filename-in-watch-later-config", write_filename_in_watch_later_config, 0), OPT_FLAG("ordered-chapters", ordered_chapters, 0), OPT_STRING("ordered-chapters-files", ordered_chapters_files, 0), diff --git a/options/options.h b/options/options.h index 6ddb432867..05aa8195ae 100644 --- a/options/options.h +++ b/options/options.h @@ -153,6 +153,7 @@ typedef struct MPOpts { double step_sec; int position_resume; int position_save_on_quit; + int write_filename_in_watch_later_config; int pause; int keep_open; int audio_id; -- cgit v1.2.3