Utiliser le terminal

MarkNode inclut un panneau de terminal intégré qui vous permet d’exécuter des commandes sans basculer vers une autre application.

Ouvrir le terminal

Le panneau de terminal se trouve en bas de la fenêtre. Cliquez sur l’icône de terminal dans la barre d’activité tout à gauche pour l’afficher ou le masquer. Le panneau peut être redimensionné en faisant glisser son bord supérieur.

Sessions multiples

Vous pouvez exécuter plusieurs sessions de terminal en même temps. Chaque session apparaît sous forme d’onglet en haut du panneau de terminal. Pour créer une nouvelle session, cliquez sur le bouton plus dans la barre d’onglets. Les sessions sont indépendantes — chacune dispose de son propre processus shell et de son propre répertoire de travail.

Pour fermer une session, cliquez sur le bouton de fermeture de son onglet ou tapez exit à l’invite.

Raccourcis clavier

Ctrl+L fonctionne sur toutes les plateformes et se comporte comme la saisie de clear à l’invite.

Prise en charge des polices et des caractères

Le terminal utilise une police à chasse fixe adaptée à la sortie en ligne de commande. Les caractères Unicode — y compris les caractères de dessin de cadres, les flèches et les symboles utilisés par des outils comme git log --graph ou htop — s’affichent correctement.

PATH et outils système

Le terminal hérite du PATH de votre système : tout outil en ligne de commande disponible dans votre terminal habituel l’est donc aussi ici. Cela inclut les environnements d’exécution de langages, les gestionnaires de paquets, les outils de gestion de versions et les systèmes de compilation.

Si un outil est introuvable, vérifiez qu’il figure bien dans votre PATH en ouvrant le terminal de votre système et en confirmant d’abord que la commande y fonctionne.

Travailler avec votre projet

Le terminal s’ouvre avec son répertoire de travail défini sur le dossier de votre projet, ce qui vous permet d’exécuter immédiatement les commandes du projet sans avoir à vous y déplacer manuellement.

Utilisations courantes lors de l’édition dans MarkNode :

• Exécuter des commandes de compilation ou d’analyse statique
• Effectuer des opérations Git telles que git log, git diff ou git rebase
• Démarrer un serveur de développement local
• Installer des dépendances avec un gestionnaire de paquets

Rechargement des fichiers après des modifications par le terminal

Si une commande du terminal modifie des fichiers ouverts dans l’éditeur — par exemple, l’exécution d’un formateur, l’application d’un correctif ou le basculement vers une autre branche — MarkNode détecte les changements et recharge automatiquement les fichiers concernés. Vous n’avez pas besoin de fermer et de rouvrir les documents pour voir le contenu mis à jour.