Download 2 - Oracle Documentation

3
Tableau 3-2
Caractères génériques de nom de fichier UNIX (suite)
Utilisez ce
symbole
Si vous voulez
*
le remplacer par toute suite de caractères. Par exemple,
/home/* permettra de trouver tous les répertoires et fichiers
sous /home.
[...]
le remplacer par un caractère unique compris dans la liste ou
la plage déterminée. Une liste est représentée par une chaîne
de caractères. Une plage est représentée par deux caractères
séparés par un trait d’union (-), et comprend tous les
caractères situés entre eux. Par exemple,
/dev/rdiskette[01] permet de trouver
/dev/rdiskette0 et /dev/rdiskette1. Une plage telle
que /files/[a-c].reports permet de trouver
/files/a.reports, /files/b.reports et
/files/c.reports.
~user
le remplacer par le répertoire personnel de l’utilisateur
spécifié. Par exemple, ~bbaker permet de trouver
/home/bbaker, le répertoire personnel de l’utilisateur
bbaker.
Bouton des panneaux à onglet
Le Gestionnaire de configuration fournit plusieurs boutons sous les panneaux
à onglet :
•
OK : cliquez sur ce bouton pour sauvegarder vos modifications et quitter le
Gestionnaire de configuration. Si vous ne modifiez qu’un seul panneau à
onglet, vous pouvez utiliser ce bouton pour valider vos modifications, les
sauvegarder dans wabi.ini et quitter le Gestionnaire de configuration.
•
Annuler : cliquez sur ce bouton pour quitter le Gestionnaire de configuration
sans modifier les paramètres. C’est le cas lorsque vous consultez des
paramètres sans vouloir les modifier ou lorsque vous effectuez des
modifications que vous décidez ensuite de ne pas conserver. Notez que ce
bouton annule uniquement les modifications que vous n’avez pas
appliquées.
•
Appliquer maintenant : cliquez sur ce bouton pour que le gestionnaire de
configuration valide toutes vos entrées. Ce bouton valide toutes les entrées
que vous avez effectuées dans tous les panneaux à onglet durant la session
Configuration de l’environnement Wabi
57