# HG changeset patch # User ib # Date 1308527524 0 # Node ID cb7c338041013788d0089437e831950527d0b609 # Parent 60bfc6c897770f4a0b65bb504a2b32b5d06df0e3 Explain role of the GUI configuration file in conjunction with the other configuration files. diff -r 60bfc6c89777 -r cb7c33804101 DOCS/man/de/mplayer.1 --- a/DOCS/man/de/mplayer.1 Sun Jun 19 23:32:17 2011 +0000 +++ b/DOCS/man/de/mplayer.1 Sun Jun 19 23:52:04 2011 +0000 @@ -512,8 +512,11 @@ Konfigurationsverzeichnis (z.B.\& /etc/\:mplayer oder /usr/\:local/\:etc/\:mplayer), die benutzerspezifische ist '~/\:.mplayer/\:mencoder.conf'. -Benutzerspezifische Einstellungen haben Vorrang vor den systemweiten, -und Optionen auf der Kommandozeile überschreiben die beiden anderen. +Benutzerspezifische Einstellungen haben Vorrang vor den systemweiten (im +Falle von +.B gmplayer +haben die Optionen in gui.conf Vorrang vor den benutzerspezifischen) +und Optionen auf der Kommandozeile überschreiben alle anderen. Die Syntax der Konfigurationsdateien lautet 'Option=' und alles, was nach einem '#' kommt, wird als Kommentar verstanden und nicht ausgewertet. diff -r 60bfc6c89777 -r cb7c33804101 DOCS/man/en/mplayer.1 --- a/DOCS/man/en/mplayer.1 Sun Jun 19 23:32:17 2011 +0000 +++ b/DOCS/man/en/mplayer.1 Sun Jun 19 23:52:04 2011 +0000 @@ -497,8 +497,10 @@ The configuration file for MEncoder is 'mencoder.conf' in your configuration directory (e.g.\& /etc/\:mplayer or /usr/\:local/\:etc/\:mplayer), the user specific one is '~/\:.mplayer/\:mencoder.conf'. -User specific options override system-wide options and options given on the -command line override either. +User specific options override system-wide options (in case of +.BR gmplayer , +gui.conf options override user specific options) and options given on the +command line override all. The syntax of the configuration files is 'option=', everything after a '#' is considered a comment. Options that work without values can be enabled by setting them to 'yes'