Micro : éditeur de texte par défaut[

Vos petites astuces, répertoire des tutoriels et astuces
Verrouillé
Avatar du membre
débitant
modérateur
Messages : 12173
Enregistré le : mar. 14 juil. 2015 18:22
Localisation : Lorraine France

Micro : éditeur de texte par défaut[

Message par débitant »

Sauvegarde, suite à un effacement accidentel, du tuto créé par cyrille

Vous pouvez modifier l'éditeur de texte de ligne de commande par défaut utilisé par divers programmes, tels que crontab.
Par exemple, de nombreux comptes sont configurés pour utiliser nano comme éditeur de texte par défaut.
Cependant, si vous êtes plus familier avec un autre éditeur, vous voudrez peut-être l'utiliser comme éditeur par défaut à la place.

Voici la procédure pour micro, éditeur de texte moderne et intuitif, successeur de nano et supportant entre autres les raccourcis clavier populaires et la gestion de la souris.

1. Installer micro

Code : Tout sélectionner

sudo apt update && apt install micro
2. Editer votre fichier .bashrc (localisation : /home/$USER/.bashrc )
(c'est un fichier caché, commence par un point, utiliser ctl + h pour les afficher via votre gestionnaire de fichiers ou ls -la en CLI.)

3. Ajouter, à la fin, la section suivante

Code : Tout sélectionner

# ===============
# EDITEUR
# ==============
export EDITOR="/usr/bin/micro"
export VISUAL="/usr/bin/micro"
4. Prendre en compte les modifications

Code : Tout sélectionner

source /home/$USER/.bashrc

C'est tout ;). Essayer

Code : Tout sélectionner

crontab -e
C'est bien micro l'éditeur qui prend la main ;)
Verrouillé