Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
|
tutoriel:console_ligne_de_commande [Le 03/11/2020, 09:09] 2.3.89.140 [Syntaxe générale] |
tutoriel:console_ligne_de_commande [Le 11/11/2020, 20:30] 176.129.171.229 [mkdir] |
||
|---|---|---|---|
| Ligne 25: | Ligne 25: | ||
| - | sudo dpkg -i discord.deb | + | ===== Syntaxe générale ===== |
| + | |||
| + | Le 1er mot tapé est une commande. Les lettres tapées après un tiret, et les mots tapés après 2 tirets, sont des options. | ||
| + | |||
| + | Le reste ce sont des paramètres. | ||
| + | |||
| + | Notez qu'il existe des commandes sans paramètres, d'autres sans options, et même certaines qui prennent une commande en paramètres ! | ||
| + | |||
| + | <code>nom-de-la-commande -options --options-longues parametre1 parametre2</code> | ||
| ===== Commandes basiques===== | ===== Commandes basiques===== | ||
| Ligne 92: | Ligne 101: | ||
| La commande **mkdir** vous permet de créer des répertoires. (mkdir = make directory) Exemple : | La commande **mkdir** vous permet de créer des répertoires. (mkdir = make directory) Exemple : | ||
| <code> | <code> | ||
| - | mkdir musique ### crée un répertoire musique ou pas | + | mkdir musique ### crée un répertoire musique |
| man mkdir ### pour avoir les options de mkdir | man mkdir ### pour avoir les options de mkdir | ||