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 Les deux révisions suivantes | ||
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] 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> |