Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
tutoriel:comment_modifier_un_fichier [Le 23/01/2019, 14:32]
L'Africain MIni mise en forme
tutoriel:comment_modifier_un_fichier [Le 26/07/2019, 10:18] (Version actuelle)
moko138 1) Remplacé 2 fois "En ligne de commande" par "De manière graphique lancée en ligne de commande", pour supprimer une ambiguïté qui piége souvent les néophytes. 2) Clarifié la mise en page "Avant... À partir d'...".
Ligne 25: Ligne 25:
  
   * **Sans** les [[:​sudo|droits d'​administration]] : Comme indiqué [[:​tutoriel/​comment_lancer_application|ici]],​ lancez "​gedit",​ souvent présent sous le nom "​Éditeur de texte"​.   * **Sans** les [[:​sudo|droits d'​administration]] : Comme indiqué [[:​tutoriel/​comment_lancer_application|ici]],​ lancez "​gedit",​ souvent présent sous le nom "​Éditeur de texte"​.
-  * **Avec** les  [[:​sudo|droits d'​administration]] : ​Avant Ubuntu 18.04 appuyez sur Alt+F2, puis saisissez « gksudo gedit ». Saisissez votre mot de passe.\\ **Attention** : L'​éditeur étant ouvert en tant qu'​administrateur,​ vous risquez d'​endommager des fichiers systèmes. À n'​utiliser qu'en cas de besoin. ​À partir d'​Ubuntu 18.04 dans [[:​nautilus]],​ entrez le chemin vers votre fichier grâce au raccourci CTRL+L précédé par ''​%%admin://​%%'',​ par exemple pour éditer le fichier grub dans **/​etc/​default/​**,​ faites ''​%%admin:///​etc/​default/​grub%%''​.+  * **Avec** les  [[:​sudo|droits d'​administration]] : ​\\ __Avant ​Ubuntu 18.04__ \\ appuyez sur Alt+F2, puis saisissez « gksudo gedit ». Saisissez votre mot de passe.\\ **Attention** : L'​éditeur étant ouvert en tant qu'​administrateur,​ vous risquez d'​endommager des fichiers systèmes. À n'​utiliser qu'en cas de besoin. ​\\ __À partir d'​Ubuntu 18.04__ \\ dans [[:​nautilus]],​ entrez le chemin vers votre fichier grâce au raccourci CTRL+L précédé par ''​%%admin://​%%'',​ par exemple pour éditer le fichier grub dans **/​etc/​default/​**,​ faites ''​%%admin:///​etc/​default/​grub%%''​.
 Une fois //gedit ouvert//, ouvrez le fichier (//Fichier → Ouvrir// ou Ctrl–o) à modifier, faites ce que vous avez à faire, enregistrez le fichier (//Fichier → Enregistrer//​ ou Ctrl–s) et quittez. Une fois //gedit ouvert//, ouvrez le fichier (//Fichier → Ouvrir// ou Ctrl–o) à modifier, faites ce que vous avez à faire, enregistrez le fichier (//Fichier → Enregistrer//​ ou Ctrl–s) et quittez.
  
-==== En ligne de commande ====+==== De manière graphique lancée en ligne de commande ====
  
   * **Sans** les [[:​sudo|droits d'​administration]]:​ <​code>​gedit /​chemin/​fichier</​code>​   * **Sans** les [[:​sudo|droits d'​administration]]:​ <​code>​gedit /​chemin/​fichier</​code>​
Ligne 45: Ligne 45:
   * Sans les [[:​sudo|droits d'​administration]]:​ //K → Utilitaires → Kate (Éditeur de texte avancé)//.   * Sans les [[:​sudo|droits d'​administration]]:​ //K → Utilitaires → Kate (Éditeur de texte avancé)//.
   * **Avec** les  [[:​sudo|droits d'​administration]]: ​   * **Avec** les  [[:​sudo|droits d'​administration]]: ​
-    ​Avant Ubuntu 18.04 appuyez sur Alt+F2, puis saisissez « gksudo kate ». Saisissez votre mot de passe.\\ **Attention** : L'​éditeur étant ouvert en tant qu'​administrateur,​ vous risquez d'​endommager des fichiers systèmes. À n'​utiliser qu'en cas de besoin. ​À partir d'​Ubuntu 18.04 dans [[:​dolphin]],​ entrez le chemin vers votre fichier grâce au raccourci CTRL+L précédé par ''​%%admin://​%%'',​ par exemple pour éditer le fichier grub dans **/​etc/​default/​**,​ faites ''​%%admin:///​etc/​default/​grub%%''​. +              ​__Avant ​Ubuntu 18.04__\\ ​appuyez sur Alt+F2, puis saisissez « gksudo kate ». Saisissez votre mot de passe.\\ **Attention** : L'​éditeur étant ouvert en tant qu'​administrateur,​ vous risquez d'​endommager des fichiers systèmes. À n'​utiliser qu'en cas de besoin. ​ 
-    - Allez dans //K → Exécuter une commande//, saisissez « kate », option //Exécuter sous un autre nom d'​utilisateur//​ (saisissez « root » et le mot de passe) → //​Exécuter//​.\\ **Attention** : L'​éditeur étant ouvert en tant qu'​administrateur,​ vous risquez d'​endommager des fichiers systèmes. À n'​utiliser qu'en cas de besoin.+              - __À partir d'​Ubuntu 18.04__\\ Dans [[:​dolphin]],​ entrez le chemin vers votre fichier grâce au raccourci CTRL+L précédé par ''​%%admin://​%%'',​ par exemple pour éditer le fichier grub dans **/​etc/​default/​**,​ faites ''​%%admin:///​etc/​default/​grub%%''​.Allez dans //K → Exécuter une commande//, saisissez « kate », option //Exécuter sous un autre nom d'​utilisateur//​ (saisissez « root » et le mot de passe) → //​Exécuter//​.\\ **Attention** : L'​éditeur étant ouvert en tant qu'​administrateur,​ vous risquez d'​endommager des fichiers systèmes. À n'​utiliser qu'en cas de besoin.
  
 Une fois Kate ouvert, ouvrez le fichier (//Fichier → Ouvrir// ou Ctrl–o) à modifier, faites ce que vous avez à faire, enregistrez le fichier (//Fichier → Enregistrer//​ ou Ctrl–s) et quittez. Une fois Kate ouvert, ouvrez le fichier (//Fichier → Ouvrir// ou Ctrl–o) à modifier, faites ce que vous avez à faire, enregistrez le fichier (//Fichier → Enregistrer//​ ou Ctrl–s) et quittez.
  
-==== En ligne de commande ====+==== De manière graphique lancée en ligne de commande ====
  
   * **Sans** les [[:​sudo|droits d'​administration]]:​ <​code>​kate /​chemin/​fichier</​code>​   * **Sans** les [[:​sudo|droits d'​administration]]:​ <​code>​kate /​chemin/​fichier</​code>​
  • tutoriel/comment_modifier_un_fichier.txt
  • Dernière modification: Le 26/07/2019, 10:18
  • par moko138