Pour accomplir ce que vous voulez, vous devrez éditer le code source 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, accédez à https://launchpad.net/ubuntu/+source/gnome-terminal/3.6.1-0ubuntu4 et téléchargez les fichiers source (le fichier est gnome-terminal_3.6.1.orig.tar.xz). Téléchargez-le dans votre ~/Downloads
dossier.
Ensuite, ouvrez un terminal et tapez les commandes suivantes:
cd ~/Downloads
tar -xJf gnome-terminal_3.6.1.orig.tar.xz
Cela extraira la source. Maintenant, ouvrez votre éditeur de texte préféré et modifiez 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, ce sont la hauteur et la largeur minimales de votre fenêtre de terminal exprimées en caractères (c.-à-d. Une valeur MIN_WIDTH_CHARS
de 20 signifie que vous ne pouvez plus redimensionner la largeur de la fenêtre en dessous de 20 largeurs de caractères)
Ensuite, pour construire, dans un type de terminal cd ~/Downloads/gnome-terminal-3.6.1
. Ensuite, exécutez ./configure
pour générer le makefile (s'il se plaint de tout paquet manquant, installez-le en utilisant apt-get
(par exemple, s'il dit "paquet foo
introuvable" 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 lorsque j'ai essayé cela, il n'a pas tout compris (exécuter la norme ./configure
par la suite). Cela peut prendre quelques tentatives, selon le nombre de paquets manquants.
Une fois qu'il a généré les makefiles make
, tapez simplement , suivi de sudo make install
. Cela devrait reconstruire le programme terminal. Fermez toutes les fenêtres de terminal, puis la suivante que vous démarrez respectera la taille minimale que vous avez définie dans la source (c'est-à-dire qu'elle ne sera pas redimensionnée en dessous des valeurs que vous y avez définies).
Accédez à l' entrée " Commande " et ajoutez-la à la fin de l'entrée:
L'entrée terminée doit être:
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)
la source
Eh bien, pour autant que je sache, vous ne pouvez pas, la résolution d'une fenêtre Terminal est basée sur les proportions des caractères ... Donc, si vous changez la taille de la police, la fenêtre Terminal se redimensionnera pour s'adapter à la proportion de cette police ...
Cela peut sembler un peu idiot au début, mais étant donné qu'un terminal n'affiche que des caractères de texte, il est logique, si une fenêtre est dimensionnée en pixels, vous vous retrouveriez souvent avec un espace gaspillé lorsque la taille de la fenêtre ne correspond pas exactement correspondre à une limite de caractère ...
la source
Si vous êtes dans une ancienne version d'Ubuntu, dans le clic droit -> fenêtre des propriétés, le premier onglet a 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.
la source
Le petit truc sur la taille par défaut était le sujet ici . Là, l'utilisateur viscount 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):
Vous pouvez également cliquer avec le bouton droit sur l'icône de gnome-terminal dans votre barre des tâches, sélectionner les propriétés, puis modifier la commande en différentes commandes comme:
De cette façon, vous avez votre propre taille par défaut.
la source
Jetez un œil ici:
Changer la largeur par défaut des fenêtres gnome-terminal et terminator
J'espère que cela aide.
la source