Éditeur de commande du shell

L’éditeur de commande vous est présenté quand vous optez pour l’utilisation d'une commande du shell pour l’ouverture d’un fichier.

La commande que vous écrivez sera exécuté dans le dossier de départ et interprété par le shell par défaut (généralement bash). Dans la commande, toute occurence d’un double dièse ## sera remplacé par le chemin d’accès complet du fichier à ouvrir. La substitution n’a pas besoin d’être mis entre guillements, mais fonctionnera tout de même correctement dans des guillements doubles; aucune substitution n’aura lieu dans des guillements simple.

Vous pouvez choisir d’exécuter la commande de trois façons :

Rubriques connexes