Utiliser le terminal web

Ouvrez un shell en direct dans votre navigateur avec le terminal web de Servor — copier-coller, raccourcis clavier et reconnexion, sans client SSH.

Le terminal web vous donne un shell en direct vers n'importe quel serveur connecté, directement dans votre navigateur — sans client SSH ni clés à gérer. Cette page couvre son ouverture, le copier-coller, les raccourcis clavier et la reconnexion après une coupure.

Déverrouillez d'abord votre coffre

Le terminal exécute de vraies commandes : il requiert un coffre déverrouillé. Si l'écran de déverrouillage apparaît, saisissez votre phrase secrète — voir Déverrouiller votre coffre. Les lecteurs en lecture seule ne peuvent pas ouvrir le terminal ; ils peuvent tout de même consulter l'historique des commandes.

Ouvrir le terminal

Choisissez un serveur connecté

Dans Serveurs, ouvrez un serveur affichant un statut connecté vert. S'il est injoignable, le terminal ne s'ouvrira pas tant que l'agent n'est pas revenu.

Ouvrez l'onglet Terminal

Cliquez sur Terminal sur la page du serveur. Une session shell en direct démarre sur la machine — vous arrivez sur une invite, comme une session SSH locale.

Commencez à taper

Lancez vos commandes comme d'habitude. Tout ce que vous exécutez est aussi enregistré dans l'historique des commandes du serveur, avec recherche intégrée.

Copier et coller

Le terminal prend en charge le copier-coller pour déplacer librement commandes et sorties :

Copier — sélectionnez du texte dans le terminal, puis utilisez votre raccourci habituel (Ctrl/Cmd + C). Comme Ctrl + C envoie aussi une interruption au programme en cours, la copie s'applique à la sélection en cours — si rien n'est sélectionné, Ctrl + C interrompt à la place.
Coller — Ctrl/Cmd + V colle le contenu du presse-papiers à l'invite. Vous pouvez coller des commandes sur plusieurs lignes.

Vérifiez ce que vous collez

Coller plusieurs lignes peut exécuter chaque ligne immédiatement. Relisez les collages multilignes avant de les envoyer, surtout tout ce qui est destructif. Servor bloque tout de même les commandes dangereuses connues — voir Exécuter des commandes.

Raccourcis clavier

Le terminal se comporte comme un shell standard. L'essentiel :

Raccourci	Effet
`Ctrl + C`	Interrompre la commande en cours (ou copier la sélection)
`Ctrl + D`	Envoyer une fin de fichier / quitter le shell
`Ctrl + L`	Effacer l'écran
`Ctrl/Cmd + V`	Coller à l'invite
`↑` / `↓`	Parcourir l'historique de commandes du shell
`Tab`	Compléter chemins et commandes

Les raccourcis d'édition standard du shell (Ctrl + A, Ctrl + E, Ctrl + U, Ctrl + R pour la recherche inversée, etc.) fonctionnent également, puisque vous dialoguez avec le vrai shell du serveur.

Se reconnecter

Si votre connexion est coupée — vous fermez votre ordinateur portable, changez de réseau, ou l'onglet du navigateur se met en veille — la session du terminal prend fin. Pour revenir :

Rouvrez l'onglet Terminal

Retournez sur le serveur et rouvrez Terminal. Une nouvelle session démarre.

Si le serveur est injoignable, réparez l'agent

Un terminal coupé signifie le plus souvent que votre navigateur a perdu la session. Mais si le serveur lui-même affiche injoignable, l'agent est hors service — réparez l'agent d'abord, puis rouvrez le terminal.

Tâches de longue durée

Une nouvelle session est un nouveau shell : tout ce que vous avez lancé de façon interactive s'arrête à la fin de la session. Pour les tâches qui doivent survivre aux déconnexions, exécutez-les en arrière-plan plutôt qu'au premier plan — voir Exécuter des commandes.

Voir aussi

Exécuter des commandes

Premier plan, arrière-plan et historique avec recherche.

Réparer l'agent

Rétablir un serveur injoignable pour ouvrir le terminal.

Déverrouiller votre coffre

Requis avant que le terminal n'exécute quoi que ce soit.

Copilote IA

Laissez le copilote exécuter des commandes pour vous, avec approbation.