Notations conventionnelles
Ce
guide
et
l’aide
de
Remote
Desktop
contiennent
des
procédures
pas
à
pas
afin
de
vous
aider
à
utiliser
efficacement
les
commandes
de
Remote
Desktop.
Dans
de
nombreuses
tâches
présentées
dans
ce
manuel
et
dans
l’Aide
de
Remote
Desktop,
vous
devez
choisir
des
commandes
de
menu
semblables
à
:
Choisissez Modifier > Supprimer.
Le
premier
terme
après
Choisir
est
le
nom
d’un
menu
dans
la
barre
des
menus
Remote
Desktop.
Le
ou
les
termes
suivants
sont
les
éléments
que
vous
choisissez
dans
ce
menu.
Préface
À propos de ce livre
11
Conventions de commandes de Terminal
Les
commandes
ou
paramètres
de
commande
que
vous
saisissez,
ainsi
que
le
texte
qui
apparaît
normalement
dans
une
fenêtre
de
Terminal
sont
affichés
dans
cette
police.
Par exemple :
Vous pouvez utiliser la commande
doit
à cette fin.
Lorsqu’une
commande
apparaît
seule
sur
une
ligne,
comme
lorsque
vous
la
saisissez
dans
une
fenêtre
de
Terminal,
elle
suit
un
signe
«
$
»
qui
représente
une
invite
de
com-
mande
shell.
Par
exemple
:
$ doit
Pour
effectuer
cette
commande,
saisissez
«
doit
»
sans
le
signe
dollar
à
l’invite
de
la
com-
mande,
dans
une
fenêtre
de
Terminal,
puis
appuyer
sur
la
touche
retour.
Notation
Signification
police à espacement
constant
Une commande ou un texte de Terminal.
$
Une invite de commande shell.
[texte_entre_crochets]
Un paramètre optionnel.
(un|autre)
Paramètres alternatifs (saisissez l’un ou l’autre).
souligné
Un paramètre que vous devez remplacer par une valeur.
[...]
Un paramètre qui peut être répété.
<crochetsenchevron>
Un
valeur
affichée
qui
dépend
de
votre
configuration
ou
de
vos
réglages.
12
Préface
À propos de ce livre