docs.jmini.fr

Les docs Jmini

Les docs jmini regroupent mes notes personnelles plus ou moins détaillées que je souhaite partager. Compilations de liens, tutoriels, réalisations pense-bêtes, morceaux de codes...
Autant d’informations que je retrouve sur mon site et qui pourront vous être utiles. En savoir plus...



Publié par Jérémie Bresson dans les docs Jmini (http://docs.jmini.fr) à l’adresse (http://docs.jmini.fr/notes/editer-fichier-texte-terminal).


Dernière mise à jour : Vendredi 16 mars 2007

Éditer un fichier texte avec le terminal

Souvent on peut être amené à devoir éditer des fichiers textes faire de petites modifications (édition d’un fichier de configuration par exemple).

Dans ces cas là, le terminal dispose d’un éditeur de texte intégré qui peut s’avérer fort pratique.

Et cela d’autant plus lorsque les fichiers sont protégés par le système et qu’il faut être super utilisateur (root) pour les modifier.

L’idée la plus simple est d’utiliser un éditeur de texte simple, présent dans le terminal pour modifier simplement ces fichiers. En l’utilisant avec la commande sudo, cela donne les droits de root à cet éditeur de texte.

Utilisation de nano

Je préconise l’utilisation de nano (ou pico) qui a l’avantage d’être simple et d’afficher en bas de la fenêtre les différentes commandes disponibles (^X Exit signifie qu’il faut faire contrôle-X pour quitter).

L’utilisation à proprement parler est assez simple. Tout se fait avec les flèches de navigation, et grâce aux raccourcis claviers (contrôle + lettre)

Pour ouvrir un fichier particulier, il faut faire : nano+barre d’espace+adresse du fichier.

L’adresse du fichier doit être au format Unix, une manière simple de l’obtenir est de glisser-déposer un fichier dans le terminal.

Exemple :

Ex : éditer le fichier lorem.txt sur mon bureau :

nano ~/Desktop/todo.txt

Edition d'un fichier texte avec nano dans le terminal

Edition d'un fichier texte avec nano dans le terminal

Fichier appartenant au système :

Lorsque les fichiers que l’on modifie appartiennent au système, il faut être super utilisateur pour les éditer. Pour cela, il faut faire précéder la commande de la commande sudo (il faut être dans une session avec des droits administrateurs) :

sudo nano /etc/php.ini

Le terminal demande un mot de passe :

Password:

Il faut saisir celui de l’administrateur. Attention, rien ne s’affiche, mais les caractères sont pris en compte.

Voir aussi

Les mots-clés de cet article : ,

Cet article est dans la catégorie : Notes


© 2007-2024 Jérémie Bresson | jmini.fr | Ce site est sous licence Creative Commons - en savoir plus