diff options
| author | wm4 <wm4@nowhere> | 2019-07-13 01:23:46 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2019-09-19 20:37:05 +0200 |
| commit | ad20f808afdd5c123363a40f8a4a27bfa79be0c4 (patch) | |
| tree | f0b30a57daa0c9c9e9826870a89cfdd3146f0e03 | |
| parent | 8ffd1073a2aa07b51dfb6fe8b0e4b1658e1c01f1 (diff) | |
| download | mpv-ad20f808afdd5c123363a40f8a4a27bfa79be0c4.tar.bz2 mpv-ad20f808afdd5c123363a40f8a4a27bfa79be0c4.tar.xz | |
builtin.conf: add clarifications
Just in case a confused user or developer finds this file and wonders
why it's "incomplete".
| -rw-r--r-- | etc/builtin.conf | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/etc/builtin.conf b/etc/builtin.conf index 14acaad02f..28788c9598 100644 --- a/etc/builtin.conf +++ b/etc/builtin.conf @@ -2,6 +2,13 @@ # loaded at early initialization time. Some of the profiles are automatically # applied at later stages during loading. +# Note: this contains profiles only. The option defaults for normal options +# (i.e. the default profile) are defined in C code. Do NOT set any +# options in the default profile here. It won't work correctly in subtle +# ways. +# +# To see the normal option defaults, run: mpv --list-options + [pseudo-gui] player-operation-mode=pseudo-gui |