Au lieu de s'appuyer sur Python et les modules manquants, comme dans la solution github de Noah K. Tilton, j'ai rédigé un script bash qui est un peu plus proche d'être plus portable (au moins, pour les installations utilisant les chemins par défaut les plus génériques).
Vous devrez peut-être modifier le script pour configurer votre chemin de configuration xfce, votre police préférée, etc.
À seulement 2 fichiers, déposés dans mon dossier de la maison ~ / bin, « zoomin » et « zoomout ». Je ne suis pas aller plus loin que de faire de courtes commandes que je peux taper rapidement, donc je n'ai pas la moindre idée comment je serais en mesure de configurer ces scripts pour répondre uniquement quand je suis à l' intérieur de xfce4-terminal - ce qui signifie que J'ai renoncé à penser sur la façon d'obtenir les raccourcis clavier faites pour Ctrl+ -et Ctrl+ +parce que je sais actuellement que sur les liaisons de clavier global et ne voulait pas passer outre les Keypress Combos depuis d' autres applications auront besoin (ex: navigateur web, éditeur de texte).
Je pensais aussi d'avoir « zoommin » et « zoommax », pour passer à mes plus petits et les plus grandes polices en cas de besoin, généralement quand je dois voir des tonnes de texte VS quand je dois montrer une chose collègue sur mon écran. Je vais laisser ces deux scripts à votre imagination sur la façon de créer: P
~ / bin / zoomin
#!/bin/bash
SIZE=`grep 'FontName' ~/.config/xfce4/terminal/terminalrc | cut -d' ' -f 2`
NEWSIZE=$((SIZE + 2))
REGEXPR='s/FontName.*/FontName=Monospace '$NEWSIZE'/g'
sed -i "$REGEXPR" ~/.config/xfce4/terminal/terminalrc
~ / bin / zoom arrière
#!/bin/bash
SIZE=`grep 'FontName' ~/.config/xfce4/terminal/terminalrc | cut -d' ' -f 2`
NEWSIZE=$((SIZE - 2))
REGEXPR='s/FontName.*/FontName=Monospace '$NEWSIZE'/g'
sed -i "$REGEXPR" ~/.config/xfce4/terminal/terminalrc
XDG_CONFIG_PATH
- une chaîne qui ne figure pas dans mon script. Hein? En supposant que vous vouliez direXDG_CONFIG_HOME
, qui n'apparaît dans mon script, vous pouvez vérifier superuser.com/questions/365847/... qui dit essentiellement c'est à l'utilisateur de définir. Je ne sais pas ce que les « autres » étaient :) Les opinions peuvent différer, mais je pense que 1 script python est paramétrés un peu plus propre que 2 scripts bash.perl -pi -e 's/(FontName.*)(\d+)/$1.($2+2)/e' ~/.config/xfce4/terminal/terminalrc
plutôt que de jongler avec le bashz 12
, et pour zoomer en une seule étape, je le feraiszi 1
.Mise à jour: à partir de ce commit , le redimensionnement est maintenant pris en charge avec Ctrl +et Ctrl -, ce qui rend obsolète ma question.
Les autres réponses de ce fil sont toujours utiles si vous utilisez des versions antérieures de
xfce4-terminal
.la source
Ctrl
+Shift
+=
pour obtenir plus etCtrl
+-
pour obtenir plus petits. NiCtrl
+=
niCtrl
+Shift
+-
ne fonctionne, pas plus que le clavier+
et-
, ce qui est trop mauvais.Les raccourcis que vous mentionnez sont pour gnome-terminal, le terminal par défaut utilisé par GNOME (et, ce qui suit, par Ubuntu standard). XFCE, qui est l'environnement principal de Xubuntu, a sa propre implémentation de terminal. Cependant, pour autant que je sache, il n'est pas possible dans xfce4-terminal de changer la taille de la police avec un raccourci (vous pouvez voir la liste des raccourcis possibles lorsque vous allez dans Édition-> Préférences-> Raccourcis).
Si vous comptez sur cette fonctionnalité, vous pouvez installer gnome-terminal, mais comme l'intérêt d'utiliser XFCE est souvent qu'il n'implique pas les bibliothèques Gnome quelque peu lourdes, cela peut être un peu improductif.
la source
Il est possible, mais pas via xfce4 proprement dit, d'utiliser cette solution de contournement:
https://github.com/noah/xfce4-terminal-font
(nécessite python).
Je l'utilise dans un gestionnaire de fenêtres génial comme celui-ci:
C'est un peu un hack, mais ça marche.
la source
Bien que le reste des réponses ici vous oblige à créer un certain type de `` piratage '' à l'aide de scripts personnalisés, qui peuvent ou non se casser lors des mises à niveau de votre système, la réponse réelle / autre a été trouvée dans une question StackOverflow ici:
Vim peut-il zoomer et dézoomer?
Par l'utilisateur: Chenming Zhang
Edit > Preferences > Appearance
Vous verrez l'option:
Font
Qui contient à la fois la police choisie et la taille du texte de la police.
Je sais que vous recherchez un `` raccourci '', mais toutes les autres options semblent nécessiter beaucoup de personnalisation, alors que suivre cette voie vous garantira de ne pas visser votre terminal avec des personnalisations.
Cette réponse est également publiée ici pour tous ceux qui ont besoin d'une autre option
ctrl +-
pour effectuer un zoom avant / arrière.la source
Le script suivant vérifie si le terminal Xfce4 est en cours d'exécution. Si ce n'est pas le cas, le script se ferme. Ce script utilise des arguments
script-name --in
pour effectuer un zoom avant et unscript-name --out
zoom arrière. Cela fonctionnera pour tout type de police. (Différents types de polices ont un nombre de mots différent.)J'ai nommé mon script terminal-zoom, et j'utilise Ctrl Alt +pour
terminal-zoom --in
et Ctrl Alt -pourterminal-zoom --out
.la source
Il n'y a actuellement aucun raccourci de zoom offert par xfce-term. Considérez Terminator, qui est léger sur les dépendances (contrairement à Gnome-term) et offre un zoom avant et arrière via CTRL + MAJ + "+"
la source
Ce vieux fil, mais était curieux sur la façon dont d'autres ont fait. J'utilise i3-wm et j'ai écrit ce script pour l'utiliser avec
Je l'a amélioré regardant le script par quelqu'un d'autre ici
la source