Terminal — DR-Terminal

DR-Terminal embarque son propre émulateur VT100/xterm écrit de zéro en Kotlin — sans WebView. Il prend en charge xterm-256color, le buffer alternatif (vim/less/nano), le presse-papiers OSC 52, les événements de focus et le suivi de la souris (mc, htop).

Clavier et raccourcis

Raccourci	Action
`Ctrl`+`C` — quand du texte est sélectionné	Copie la sélection dans le presse-papiers. Sans sélection, le SIGINT normal atteint le processus distant.
`Enter` — quand du texte est sélectionné	Raccourci de copie alternatif (pratique sur les claviers sans Ctrl).
Clic droit / menu Copier	Menu contextuel après sélection — toujours disponible.
`Ctrl`+`V`	Coller. Un contenu de presse-papiers multiligne ouvre une boîte de confirmation de collage multiligne.
`Shift`+`Insert`	Coller — le réflexe classique X11/Windows. Insert seul atteint toujours le shell.
`Shift`+`Delete`	Copie la sélection et l'efface (façon couper).
`Ctrl`+`F`	Ouvre la barre de recherche (voir Rechercher dans la sortie). Le shell ne voit jamais la frappe.
`Ctrl`+`Shift`+`S`	Ouvre le sélecteur de snippets (voir Snippets). Ctrl+S seul atteint toujours le shell.
Barre de raccourcis	esc, ctrl, tab, flèches, symboles shell courants, la touche snip et la bascule ⌨ — utile sur mobile. Les touches de fonction et de navigation vivent sur la couche fn du clavier DevOps et sur la rangée optionnelle de touches F.
Taille de police	Sélecteur A- / A+ dans le menu du terminal ; plage 8–32 pt.

Sur macOS, Cmd fonctionne partout où Ctrl est listé ci-dessus : Cmd+C, Cmd+V, Cmd+F et Cmd+Shift+S se comportent comme leurs équivalents Ctrl.

Clavier DevOps (Android & iOS)

Les claviers système vous combattent dans un terminal : l'autocorrection massacre sudo -rf, les symboles shell se cachent deux couches plus loin, et les dispositions non latines n'ont souvent aucun ASCII. DR-Terminal embarque son propre clavier DevOps toujours-ASCII, dessiné par l'application et envoyant les touches directement au terminal — l'IME système ne les voit jamais.

Portrait — un dock classique en bas de l'écran.
Paysage — mode split : deux grappes à portée de pouce sur les bords gauche et droit, dessinées en verre translucide par-dessus le terminal, la pleine largeur continue donc d'afficher votre session.

Couches : minuscules, majuscules (Shift), chiffres, symboles shell (| ~ $ & ' " \ …`) et une couche fn/nav (F1–F12, flèches, Home/End, PgUp/PgDn). Ctrl/Alt/Shift sont rémanents : un appui les arme pour la touche suivante, un double appui les verrouille. Maintenez ⌫, les flèches ou l'espace pour la répétition ; un appui long sur les touches marquées d'un petit signe dans le coin donne le caractère alternatif.

La poignée (pilule) en haut bascule FULL ↔ MINI — MINI ne garde que l'essentiel (Esc, Tab, Ctrl, flèches, ⌫, ↵) pour les sessions htop/logs. Le paysage mémorise son propre état et démarre en MINI.
Faites glisser la poignée pour déplacer une grappe ; elle s'aimante au bord le plus proche. Déposez une grappe sur l'autre pour les fusionner en un seul clavier flottant ; la pilule de séparation les redivise.
Balayez vers le bas sur les touches pour masquer le clavier ; un bouton ⌨ flottant le ramène. La touche ⌨ bascule vers le clavier système quand il vous faut des accents ou des emoji.

Paramètres → Clavier (mobile) : Clavier par défaut — Automatique choisit le clavier DevOps quand la locale système est non latine (arabe, hébreu, CJC…), sinon l'IME système ; Disposition — Automatique/QWERTY/QWERTZ/AZERTY ; curseurs Opacité et Taille des touches ; Afficher les touches F — une rangée F1–F10 toujours visible au-dessus du clavier, pratique pour les usages mc/htop. Toutes les préférences clavier voyagent dans la sauvegarde chiffrée de la configuration exportée depuis un téléphone ou une tablette.

Sélectionner, copier, coller

Desktop : glissez avec la souris pour sélectionner. Un double-clic sélectionne un mot, un triple-clic une ligne. Relâcher copie via les raccourcis ci-dessus ; le clic droit ouvre un menu.

Android et iOS : faites un appui long n'importe où dans le terminal pour démarrer une sélection, puis glissez pour l'étendre et relâchez pour copier — le texte atterrit dans le presse-papiers du système. Un toucher bref passe toujours jusqu'au shell ; un balayage fait toujours défiler l'historique, de sorte que les gestes habituels continuent de fonctionner.

Icône de collage dans la barre supérieure du terminal — un toucher colle le presse-papiers au curseur. Un presse-papiers vide affiche un snackbar neutre Rien à coller.
Sélectionner le texte dans le menu du terminal — une case à cocher qui maintient le mode sélection jusqu'à ce que vous le désactiviez, chaque glissement sélectionne alors au lieu de faire défiler ou de passer au shell.
Appui long sur la ligne du prompt (la ligne où se trouve le curseur, et uniquement lorsque vous n'avez pas fait défiler vers l'historique) colle au lieu de démarrer une sélection — naturel lorsque vous voulez juste déposer le presse-papiers là où vous tapez.

OSC 52 permet aux programmes distants (tmux, vim, fzf) de copier vers le presse-papiers de votre système via une séquence d'échappement — bidirectionnel.

Collage multiligne : lorsque votre presse-papiers contient des sauts de ligne, une boîte d'aperçu de collage multiligne s'affiche — vous protège contre le collage de commandes que vous n'avez pas inspectées.

Défilement et historique

Le buffer de défilement contient jusqu'à 1000 lignes. La molette ou le glissement tactile fait défiler ; le curseur quitte correctement la zone visible (comportement xterm) et toute sélection défile avec le texte.

Effacer l'historique se trouve dans l'onglet Historique de la barre latérale et efface l'historique des commandes enregistré pour cette connexion — il ne touche pas au défilement à l'écran.

Une barre de défilement apparaît sur le bord droit du terminal (Desktop) — attrapez-la avec la souris pour parcourir l'historique ; Android et iOS défilent au toucher. La vitesse de défilement à la molette est configurable dans Paramètres → Terminal (lignes par cran de molette).

Buffer alternatif (applications plein écran)

Des programmes comme vim, less, nano, htop, mc basculent dans le buffer alternatif — un écran séparé qui disparaît à la sortie sans polluer le défilement principal.

Rechercher dans la sortie

Appuyez sur Ctrl+F (Cmd+F sur macOS) pour ouvrir la barre de recherche. Elle parcourt le défilement en direct, surlignant chaque occurrence et permettant de passer de l'une à l'autre. Le surlignage est une surcouche au moment du rendu — il n'injecte jamais rien dans le flux SSH.

Police, thème, surlignage

Taille de police — le sélecteur A-/A+ dans le menu du terminal ou le curseur dans Paramètres → Apparence ; plage 8–32 pt. La police Personnalisée de l'onglet Thème de la barre latérale autorise en plus 6–72 pt par alias.
Thème de l'interface — clair / sombre / système (toute l'application, pas le terminal).
Thème du terminal — voir la section Thème ci-dessous ; le thème est par alias.
Règles de surlignage — Paramètres → Terminal → Surlignage de la sortie. Ajoutez une regex + une couleur, par ex. colorez ERROR en rouge.

Snippets

Les snippets sont des modèles de commandes réutilisables que vous pouvez lancer dans n'importe quelle session. Un modèle peut contenir des placeholders typés — ping -c {count:int=4} {host:ip} — et exécuter un tel snippet ouvre une petite boîte de dialogue demandant les valeurs (les placeholders int, ip, bool et enum reçoivent des champs adaptés avec validation). Un snippet sans placeholders s'exécute directement. Exécuter immédiatement décide si Entrée est envoyé pour vous ou si la commande atterrit simplement au prompt pour édition.

Façons d'en exécuter un :

Ctrl+Shift+S (Cmd+Shift+S sur macOS) — un sélecteur avec recherche à la frappe ; Entrée exécute la première correspondance.
Snippets dans le menu du terminal — le même sélecteur sans clavier.
L'onglet Snippets de la barre latérale du terminal — les plus récents d'abord, un clic pour exécuter, plus un raccourci vers l'éditeur.
La touche snip épinglée sur la barre de raccourcis mobile et sur le clavier DevOps, dont le mode ancré propose aussi une couche de tuiles de snippets — une grille tactile avec vos snippets récents bien en vue.

Chaque snippet a une portée : visible pour Tous les hôtes, un Groupe ou un seul Hôte. Un filtre Systèmes optionnel (Debian, RHEL, Arch, macOS…) la restreint davantage, de sorte que les snippets apt n'apparaissent que sur les hôtes détectés comme famille Debian — la détection provient de la sonde de connexion (voir Aperçu de l'hôte ci-dessous). Afficher seulement si disponible masque en plus un snippet lorsque sa commande est confirmée absente sur l'hôte. Les sessions sans hôte SSH (local, série, Telnet) ne voient que les snippets globaux.

Gérez les snippets dans Paramètres → Terminal → Snippets : ajout, modification, duplication et suppression, définition de la portée, des systèmes et de l'indicateur d'exécution immédiate. Un catalogue intégré de plus d'une centaine de snippets prêts à l'emploi — par système (Debian, RHEL, Arch, Alpine, SUSE, BSD, macOS) plus des ensembles Docker, réseau, stockage et outils — est installé au premier lancement ; modifiez-les ou supprimez-les comme les vôtres.

Historique des commandes et autocomplétion

Chaque connexion enregistrée mémorise son historique de commandes (si Enregistrer l'historique est activé). La flèche du haut rappelle les commandes précédentes, et le champ d'autocomplétion suggère les noms de commandes disponibles sur le serveur — une complétion shell en direct, distincte de l'historique de ce que vous avez tapé.

Aperçu de l'hôte (signes vitaux en direct)

Après la connexion sur une session SSH, l'application sonde discrètement l'hôte — nom de l'OS, modèle de CPU et nombre de cœurs — et commence à relever les signes vitaux en direct : charge moyenne, mémoire, swap et utilisation disque par point de montage, chacun dessiné avec une barre d'utilisation qui passe à l'ambre au-dessus de 75 % et au rouge au-dessus de 90 %.

L'onglet Host de la barre latérale du terminal (l'onglet le plus à gauche, et celui par défaut pour les sessions SSH) montre tout d'un coup d'œil.
Les mêmes lignes apparaissent dans la boîte de dialogue Infos de connexion.
Paramètres → Terminal → Surveillance des ressources (CPU/RAM/disque) active ou désactive le relevé globalement et définit l'intervalle de rafraîchissement (5–300 s). Le formulaire de connexion peut surcharger l'intervalle par hôte, et sa liste déroulante Vérification du système à la connexion choisit la fréquence de la sonde complète : à chaque connexion, une fois par jour, une fois par semaine, ou désactivée.

Onglets de session

Chaque session — SSH, SFTP, locale, série, Telnet — vit dans un onglet. Faites un appui long (mobile) ou un clic droit (desktop) sur un onglet, ou sur une carte de la liste des sessions actives, pour son menu : Renommer, Infos de connexion, Redémarrer la session et Fermer l'onglet. Redémarrer la session ferme la connexion et la rétablit de zéro tout en conservant l'onglet — pratique après un redémarrage du serveur. Lorsqu'une session distante tombe, le menu du terminal gagne aussi une entrée Reconnecter qui rétablit la connexion sur place (les terminaux locaux ne la proposent pas — ouvrez-en un nouveau à la place).

Barre latérale (panneau de droite) — Host / Historique / Compléter / Snippets / Thème

À droite du terminal (Desktop / tablette) se trouve un panneau repliable à cinq onglets. Ouvrez-le avec la flèche sur le bord droit ; redimensionnez-le en faisant glisser le bord gauche. L'état est par alias — chaque connexion enregistrée mémorise son onglet et sa largeur.

Host — l'onglet par défaut pour les sessions SSH : système détecté, CPU et signes vitaux en direct. Voir Aperçu de l'hôte ci-dessus.
Historique — commandes récemment saisies. Cliquer sur l'une d'elles la tape dans le terminal ; le commutateur à côté décide si l'on valide automatiquement avec Entrée. Effacer l'historique se trouve ici aussi.
Compléter — suggestions de noms de commandes en direct issues de la complétion shell du serveur. Peut être coupée par alias (icône de cloche).
Snippets — vos snippets pour cet hôte, les plus récents d'abord. Voir Snippets ci-dessus.
Thème — apparence du terminal. Voir la section ci-dessous.

Thème — thèmes du terminal (435 schémas)

Le thème est par alias — chaque connexion a son propre arrière-plan, premier plan et palette ANSI 16 couleurs (les mêmes index que ls --color utilise : standard 0–7 + clairs 8–15).

Catalogue intégré de 435 thèmes — le champ Rechercher… filtre par nom. Chaque ligne affiche l'arrière-plan, le premier plan et une bande de 16 échantillons. Cliquer applique le thème instantanément.
Personnalisé (cet alias) — sur desktop, la barre latérale expose aussi l'édition manuelle de la police, de l'arrière-plan, du premier plan et des 16 emplacements ANSI. Chaque emplacement a sa propre réinitialisation (⟲) ; toute la palette a une réinitialisation distincte.
Les répertoires en bleu dans ls --color sont en ANSI 4 (BLUE) ou 12 (BRIGHT_BLUE) — pour les changer, choisissez un autre thème ou modifiez ces deux échantillons.

Android et iOS : toute la barre latérale de bureau est remplacée par une seule icône de palette dans la barre supérieure du terminal. Touchez-la pour afficher une feuille du bas avec le même catalogue de 435 thèmes, consultable et avec des aperçus d'échantillons en direct. Toucher une ligne applique le thème et ferme la feuille pour que vous voyiez le résultat immédiatement ; le bouton Réinitialiser en haut supprime toutes les surcharges afin que l'alias revienne à ses valeurs par défaut.

Les 435 thèmes intégrés proviennent de la collection open source edcet/terminal-themes (MIT).