H1. Introduction |
Les paramètres de la ligne de commande ont une priorité supérieure à celle des paramètres définis par défaut ou à celle des paramètres permanents (spécifiés dans le fichier de configuration du Serveur, dans la base de registre Windows etc.). Dans certains cas décrits ci-après, les paramètres spécifiés au démarrage modifient les paramètres permanents. Lors de la description de la syntaxe des paramètres des programmes, leur partie facultative est mise entre crochets [...].
Certains paramètres de la ligne de commande commencent par un trait d’union. Ces paramètres sont appelés des clés. Beaucoup de clés peuvent être présentes sous diverses formes équivalentes. Les clés pouvant avoir une valeur logique (oui/non, interdire/autoriser) ont des variantes négatives formant des paires, par exemple la clé -admin-rights a la variante paire -no-admin-rights ayant une valeur opposée. De telles clés peuvent être spécifiées en déterminant leur valeur de manière explicite, par exemple –admin-rights=yes et -admin-rights=no.
Si la valeur de la clé contient des espaces ou des symboles de tabulation, tout le paramètre doit être mis entre guillemets comme dans l’exemple ci-dessous : "-home=c:\Program Files\DrWeb Server"
|