From 5ba1d5e59ca238a2428cd1a3bba7a0f568e804f2 Mon Sep 17 00:00:00 2001 From: Stijn-Bch <98285722+Stijn-Bch@users.noreply.github.com> Date: Mon, 14 Mar 2022 14:29:30 +0100 Subject: [PATCH] git-clone, sudo, type: add French translation (#7725) --- pages.fr/common/git-clone.md | 22 +++++++++++++++++----- pages.fr/common/sudo.md | 36 ++++++++++++++++++++++++++++++++++++ pages.fr/common/type.md | 16 ++++++++++++++++ 3 files changed, 69 insertions(+), 5 deletions(-) create mode 100644 pages.fr/common/sudo.md create mode 100644 pages.fr/common/type.md diff --git a/pages.fr/common/git-clone.md b/pages.fr/common/git-clone.md index f025cf9cb..7d3eb109f 100644 --- a/pages.fr/common/git-clone.md +++ b/pages.fr/common/git-clone.md @@ -5,20 +5,32 @@ - Clone un dépôt existant : -`git clone {{location_du_depot_distant}}` +`git clone {{emplacement_du_depot_distant}}` + +- Clone un dépôt existant dans un répertoire spécifique : + +`git clone {{emplacement_du_depot_distant}} {{chemin/vers/repertoire}}` - Clone un dépôt existant et ses sous-modules : -`git clone --recursive {{location_du_depot_distant}}` +`git clone --recursive {{emplacement_du_depot_distant}}` - Clone un dépôt local : -`git clone -l` +`git clone -l {{chemin/vers/depot/local}}` - Clone silencieusement : -`git clone -q` +`git clone -q {{emplacement_du_depot_distant}}` - Clone un dépôt existant en ne récupérant que les 10 commits les plus récents sur la branche par défaut (plus rapide) : -`git clone --depth {{10}} {{location_du_depot_distant}}` +`git clone --depth {{10}} {{emplacement_du_depot_distant}}` + +- Clone un dépôt existant en ne récupérant qu'une branche spécifique : + +`git clone --branch {{nom}} --single-branch {{emplacement_du_depot_distant}}` + +- Clone un dépôt existant en utilisant une commande SSH spécifique : + +`git clone --config core.sshCommand="{{ssh -i chemin/vers/clef_ssh_privee}}" {{emplacement_du_depot_distant}}` diff --git a/pages.fr/common/sudo.md b/pages.fr/common/sudo.md new file mode 100644 index 000000000..c82b15afb --- /dev/null +++ b/pages.fr/common/sudo.md @@ -0,0 +1,36 @@ +# sudo + +> Exécute une commande unique en tant que super-utilisateur (super-user) ou un autre utilisateur. +> Plus d'information: . + +- Exécute une commande en tant que super-utilisateur : + +`sudo {{less /var/log/syslog}}` + +- Édite un fichier en tant que super-utilisateur avec votre éditeur par défaut : + +`sudo --edit {{/etc/fstab}}` + +- Exécute une commande en tant qu'un autre utilisateur et/ou groupe : + +`sudo --user={{utilisateur}} --group={{groupe}} {{id -a}}` + +- Répéte la dernière commande préfixée de `sudo` (uniquement dans `bash`, `zsh`, etc.) : + +`sudo !!` + +- Lance le terminal par défaut avec des privilèges de super-utilisateur et exécuter des fichiers à profil spécifique (`.profile`, `.bash_profile`, etc.) : + +`sudo --login` + +- Lance le terminal par défaut avec des privilèges de super-utilisateur sans modifier l'environnement : + +`sudo --shell` + +- Lance le terminal par défaut en tant que l'utilisateur spécifié, en chargeant l'environnement de cet utilisateur et en lisant les fichiers à profil spécifique de cet utilisateur (`.profile`, `.bash_profile`, etc.) : + +`sudo --login --user={{utilisateur}}` + +- Liste les commandes autorisées (et interdites) pour l'utilisateur courant : + +`sudo --list` diff --git a/pages.fr/common/type.md b/pages.fr/common/type.md new file mode 100644 index 000000000..52b309c9e --- /dev/null +++ b/pages.fr/common/type.md @@ -0,0 +1,16 @@ +# type + +> Affiche le type de la commande que le terminal exécuterait. +> Plus d'information: . + +- Affiche le type d'une commande : + +`type {{commande}}` + +- Affiche tous les emplacements contenants l'exécutable spécifié : + +`type -a {{commande}}` + +- Affiche le nom du fichier qui serait exécuté : + +`type -p {{commande}}`