web-dev-qa-db-fra.com

Comment puis-je forcer les terminaux à avoir au moins une certaine taille?

J'aimerais éviter que mes terminaux Terminator soient inférieurs à 80x24. Autrement dit, je ne serais pas en mesure de redimensionner un terminal à une taille inférieure à cette taille. Si j'essayais de scinder un terminal trop petit, les terminaux existants seraient réduits à la taille voulue ou les terminaux parent et enfant seraient déplacés vers une nouvelle fenêtre.

Je suis disposé à modifier les programmes de terminal si nécessaire, bien qu'une solution de tuilage de qualité telle que Terminator soit préférable.

gnome-terminalterminator
8
Nicholas

Pour accomplir ce que vous voulez, vous devez éditer le code source de gnome-terminal et le reconstruire vous-même, car la taille minimale de la fenêtre est codée en dur dans l'application de terminal. Pour le faire, suivez ces étapes.

Tout d'abord, allez sur https://launchpad.net/ubuntu/+source/gnome-terminal/3.6.1-0ubuntu4 et téléchargez les fichiers sources (le fichier est gnome-terminal_3.6.1.orig. tar.xz). Téléchargez-le dans votre dossier ~/Downloads.

Ensuite, ouvrez un terminal et tapez les commandes suivantes:

cd ~/Downloads

tar -xJf gnome-terminal_3.6.1.orig.tar.xz

Cela va extraire la source. Ouvrez maintenant votre éditeur de texte favori et éditez le fichier ~/Downloads/gnome-terminal-3.6.1/src/terminal-window.c. Accédez à la ligne 3107, où vous trouverez les variables MIN_WIDTH_CHARS et MIN_HEIGHT_CHARS. Modifiez-les. Il s’agit de la hauteur et de la largeur minimales de votre fenêtre de terminal exprimées en caractères (c.-à-d. Un MIN_WIDTH_CHARS sur 20 signifie que vous ne pourrez plus redimensionner la largeur de la fenêtre en dessous de 20 caractères).

Ensuite, pour construire, dans un terminal, tapez cd ~/Downloads/gnome-terminal-3.6.1. Ensuite, lancez ./configure pour générer le makefile (s'il se plaint de tous les paquets manquants, installez-les en utilisant apt-get (par exemple, s'il indique "package foo non trouvé" ou similaire, utilisez Sudo apt-get install foo). Vous pouvez également essayer d’installer auto-apt et d’utiliser Sudo auto-apt run ./configure (cela tentera d’installer toutes les dépendances), mais j’ai essayé de ne pas tout saisir (exécuter la norme ./configure après) Cela peut prendre quelques tentatives, selon le nombre de paquets manquants.

Une fois les makefiles générés, tapez simplement make, suivi de Sudo make install. Cela devrait reconstruire le programme de terminal. Fermez toutes les fenêtres du terminal. La prochaine fenêtre que vous démarrez respectera la taille minimale que vous avez définie dans la source (c’est-à-dire que vous ne redimensionnerez pas au-dessous des valeurs que vous avez définies ici).

4
Jez W
  1. Appuyez sur la super-touche pour ouvrir la recherche et cherchez: menu principal
  2. Une fois que l'application "Menu principal" est en cours d'exécution, sélectionnez "Accessoires" dans le menu de gauche, puis sélectionnez "Terminal" dans le deuxième menu.
  3. Une fois que vous avez sélectionné les options "Terminal", appuyez sur le bouton "Propriétés" sur la droite. Une nouvelle fenêtre s'ouvrira avec les propriétés du terminal Launcher.

  4. Accédez à l'entrée "Commande" et ajoutez-la à la fin de l'entrée:

    --geometry=132x24

    L'entrée terminée devrait être:

    gnome-terminal --geometry=132x24

C'est ça. Fermez les fenêtres et la prochaine fois que vous lancerez le terminal, la fenêtre sera redimensionnée. Vous devrez peut-être vous déconnecter et vous reconnecter pour fonctionner correctement.

(132x24 n'est qu'un exemple, vous pouvez utiliser la résolution de votre choix)

4
Christian

Pour autant que je sache, vous ne pouvez pas, la résolution d'une fenêtre de terminal est basée sur les proportions des caractères ... Donc, si vous modifiez la taille de la police, la fenêtre de terminal sera redimensionnée pour s'adapter à la proportion de cette police ...

Cela semble un peu ridicule au début, mais étant donné qu’un terminal affiche simplement des caractères de texte, il est logique que si une fenêtre est dimensionnée en pixels, vous vous retrouverez souvent avec un espace perdu lorsque la taille de la fenêtre ne correspond pas exactement. correspondre à une limite de caractère ...

2
Christian

Si vous utilisez une ancienne version d'Ubuntu, dans le clic droit -> fenêtre de propriétés, le premier onglet contient deux champs dans lesquels vous pouvez modifier les lignes et les colonnes du terminal.

Sinon, vous pouvez utiliser l'entrée de commande mentionnée dans la première réponse.

--geometry=132x24
1
cossacksman

Le petit truc sur la taille par défaut était le sujet ici . Là, l'utilisateur vicomte l'a résolu en créant un script et en le plaçant dans/usr/bin/gnome-terminal comme ceci (je suppose que vous utilisez gnome comme gestionnaire de fenêtres):

#!/bin/sh
gnome-terminal --geometry=132x24

Vous pouvez également cliquer avec le bouton droit de la souris sur l’icône gnome-terminal de votre barre de tâches, sélectionner des propriétés, puis changer la commande en commande différente, comme suit:

gnome-terminal --working-directory=%f --geometry=132x24

De cette façon, vous avez votre propre taille par défaut.

1
dschinn1001

Regardez ici:

Change la largeur par défaut des fenêtres gnome-terminal et terminator

J'espère que ça aide.

0
BiggJJ