web-dev-qa-db-fra.com

Quel raccourci clavier modifie la taille du texte du terminal `xfce4-terminal`?

C'était autrefois Ctrl + - et Ctrl + + augmenterait ou diminuerait la taille du texte du terminal dans les versions antérieures d’Ubuntu, ce qui est utile lorsque vous faites des présentations et que vous souhaitez afficher votre code dans une taille plus grande. Je suis passé à Xubuntu 12.04 et ces raccourcis clavier me manquent.

Y a-t-il une alternative que je peux utiliser? Ou sinon, y a-t-il un moyen de définir mon propre raccourci pour les remplacer?

Mise à jour: Heureux de dire que cette question est maintenant sans objet pour les versions récentes de xfce4-terminal! Voir ici .

command-lineshortcut-keysxubuntu
11
John Feminella

Mise à jour: à compter de this commit , le redimensionnement est maintenant pris en charge avec Ctrl + et Ctrl -, ce qui obsolète ma question.

Les autres réponses de ce fil sont toujours utiles si vous utilisez des versions plus anciennes de xfce4-terminal.

2
John Feminella

Au lieu de compter sur Python et sur des modules manquants, comme dans la solution github de Noah K. Tilton, j'ai rédigé un script bash qui est un peu plus près d'être plus portable (du moins pour les installations utilisant le plus générique, par défaut). chemins).

Vous devrez peut-être modifier le script pour configurer votre chemin de configuration xfce, votre police préférée, etc.

Juste 2 fichiers, déposés dans le dossier ~/bin de ma maison, "zoom in" et "zoomout". Je ne suis pas allé plus loin que de faire des commandes courtes que je peux taper rapidement. Je ne vois donc pas comment je pourrais configurer ces scripts pour qu'ils répondent UNIQUEMENT lorsque je suis dans xfce4-terminal - ce qui signifie que J'ai arrêté de penser à la façon de faire les liaisons de clés pour Ctrl+- et Ctrl++ parce que je ne connais actuellement que les liaisons de clavier globales et que je ne voulais pas remplacer ces combos Keypress car d’autres applications en auraient besoin (ex: navigateur Web, éditeur de texte).

J'ai aussi pensé à utiliser "zoommin" et "zoommax", pour passer à mes polices les plus petites et les plus grandes au besoin, généralement lorsque je dois voir des tonnes de texte lorsque je dois montrer à un collègue quelque chose 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/zoomout

#!/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
5
starlocke

Les raccourcis que vous mentionnez concernent gnome-terminal, le terminal par défaut utilisé par gnome (et, par la suite, par Ubuntu standard). XFCE, qui est l’environnement principal de Xubuntu, a sa propre implémentation de terminal. Cependant, 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 en allant dans Edition-> 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 de ne pas utiliser les bibliothèques un peu lourdes de Gnome, cela risque d’être un peu improductif.

3
January

Il est possible, mais pas avec xfce4 proprement dit, en utilisant cette solution de contournement:

https://github.com/noah/xfce4-terminal-font

(nécessite python).

Je l'utilise dans le gestionnaire de fenêtres génial comme ceci:

awful.key({ "Control", "Shift" }, "Up", function () awful.util.spawn(script_dir .. "/xfce4-terminal-font +", false)end),
awful.key({ "Control", "Shift" }, "Down", function () awful.util.spawn(script_dir .. "/xfce4-terminal-font -", false)end),

C'est un peu un bidouillage, mais ça marche.

1
g33kz0r

Alors que le reste des réponses ici nécessitent que vous créiez un type de 'piratage' à l'aide de scripts personnalisés, qui peut ou ne peut pas être interrompu lors de la mise à niveau de votre système, la réponse réelle/autre a été trouvée dans une question StackOverflow ici:

Vim peut-il faire un zoom avant ou arrière?

Par 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 qu'emprunter cette route vous évitera de foirer toute personnalisation à votre Terminal.

Cette réponse est également affichée ici pour quiconque ayant besoin d'une autre option que ctrl +- pour effectuer un zoom avant/arrière.

1
tentative_pimple

Il n'y a actuellement aucun zoom-raccourcis offert par xfce-term. Pensez à Terminator, qui est léger en dépendances (contrairement à Gnome-term) et offre un zoom avant et arrière via CTRL + SHIFT + "+"

0
Slawomir

Le script suivant vérifie si Xfce4 Terminal est en cours d'exécution. Si ce n'est pas le cas, le script se termine. Ce script utilise des arguments, script-name --in pour effectuer un zoom avant et script-name --out pour un 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 CtrlAlt+ pour terminal-zoom --in et CtrlAlt- pour terminal-zoom --out.

#!/bin/bash

# Check if Xfce4 Terminal is running. If it is not, exit.
status=$(pgrep xfce4-terminal)

if [ -z "$status" ]; then
    notify-send "No Xfce4 Terminal session is open."
    exit 1
fi

# 1. Get the full line. 2. Get the entire line minus font size. 3. Get only font size. 
line=$(grep "FontName" ~/.config/xfce4/terminal/terminalrc)
font_name=$(echo "$line" | sed s/'\w*$'//)
font_size=$(echo "$line" | grep -oE '[^ ]+$')

# Increase or decrease font size. You might want to change this to increase and decrease by two.
if [ "$1" = "--in" ]; then
    new_size=$((font_size + 1))
Elif [ "$1" = "--out" ]; then
    new_size=$((font_size - 1))
else
    notify-send "Argument options: --in --out"
    exit 1
fi

# Replace the line with the new font size.
action='s/'$font_name$font_size'/'$font_name$new_size'/'
sed -i "$action" ~/.config/xfce4/terminal/terminalrc

# Show the new current font being used.
notify-send -t 200 "$new_size pt font"
0
jbrock