F1. Syntaxe du fichier de configuration .config

Page d'accueil  Précédent  Suivant

Pour décrire le format du fichier de configuration .config, la grammaire formelle basée sur la forme EBNF est utilisée et comprend la légende suivante :

(...) — groupe de symboles (fragment du fichier de configuration) ;

"..." — symbole terminal ;

<...> — symbole non terminal ;

| - symbole de sélection d'un des éléments proposés ;

(...)? - le symbole (ou groupe de symboles entre guillemets) se trouvant à gauche de l'opérateur n'est pas obligatoire (peut être utilisé  0 ou 1 fois);

(...)* - le symbole (ou groupe de symboles entre guillemets) se trouvant à gauche de l'opérateur peut se répéter n'importe quel nombre de fois (il peut également être omis);

(...)+ - le symbole (ou groupe de symboles entre guillemets) se trouvant à gauche de l'opérateur peut être utilisé 1 fois ou plus d'une fois ;

[...] - n'importe quel symbole appratenant à la plage spécifiée ;

point à la fin symbole spécifique désignant la fin de la règle.

Format du fichier de configuration du dépôt des produits .config :

<ligne> := <instruction>? (<séparateur>+ <commentaire>?)*.

 

<instruction> := <nom> "{"? <paramètre>* "}"?.

<nom> := "description" | "sync-with" |

             "sync-delay" |  "sync-only" |

             "sync-ignore" | "state-only" |

             "state-ignore" | "notify-only" |

             "notify-ignore" | "notify-off".

<paramètre> := <texte>.

<texte> := <mot> <séparateur>*.

<mot> := (<symbole> | <signe>)+.

<symbole> := [a-zA-Z] | [0-9].

<signe> := """ | "/"| "\" | "*" | "^" | "." | "-"| "$".

 

<séparateur> := \r | \t | \n | \s.

 

<commentaire> := ";"<texte> | "#"<M1><symbole>+<M1> | "'"<M2><texte>+<M2>.

<M1> := <symbole>+.

<M2> := <signe>+.

Le fichier de configuration est une séquence de mots séparés par des séparateurs. Le séparateur représente n'importe quelle séquence de symboles suivants : espace (\s), tabulation (\t), retour à la ligne (\r), saut de ligne (\n).

Le mot commençant par un point-virgule (;)désigne le commencement d'un commentaire qui s'étend jusqu'à la fin de la ligne.

Exemples :

ghgh 123 ;c'est un commentaire

123;ce; n'est pas; un commentaire - un séparateur au début est requis.

Le mot commençant par le symbole dièse (#)désigne le début du commentaire de type flux; le reste du mot est spécifié par le marqueur de la fin du commentaire.

Exemple :

123 456 #COMM Depuis cet endroit le commentaireCOMM est terminé

Pour inclure des symboles dans le mot, vous pouvez utiliser le péfixe ' (apostrophe) — un séparateur spécifique pour ce mot (c'est ce symbole qui sera classé comme séparateur achevant ce mot).

Exemple :

xy123 '*Un mot*Déjàunautre

 

Si le mot commence par un des symboles suivants : apostrophe, point-virgule, dièse (', ;, #),il doit se limiter par des symboles spécifiques séparateurs comme il est décrit ci-dessus.

 

Le fichier.config comprend des commentaires et des instructions. L'ordre des instructions n'a pas d'importance.

 

Le format des instructions des fichiers de configuration est sensible à la casse.

 

Le dépôt des produits est sensible à la casse quels que soient le système de fichier et l'OS sous lequel tourne le Serveur.

 

Pour plus d'information sur les instructions, consultez l'Annexe F2. Instructions du fichier .config.