Paramètre GED-EXT-SPE

BUT

Le paramètre GED-EXT-SPE détermine la liste des extensions « spécifiques » : ce sont toutes les extensions spécifiques, qui doivent être interprétées comme des fichiers connus.

ZONE → Désignation

REGLES D’INITIALISATION

Par défaut, les extensions spécifiques sont : $ET:txt,log:txt :

Le séparateur reste la virgule entre chaque extension spécifique.