staging.inyokaproject.org

Hallo,

ich verwende seit mehreren Monaten Ubuntu 22.04 und bin eigentlich zufrieden. Leider ist aber ein Problem aus Ubuntu 20.04 übrig geblieben:

Ich habe ein Shellscript geschrieben, das mir Kalenderdaten auflistet; die auf dem Bildschirm dargestellten Zeilen sind mehr als mit der üblichen Bildschirm-Zeilenzahl darzustellen ist; ich habe daher mit

1
2

xdotool key "ctrl+minus"        # Verkleinerung der Schrift, Vergrößerung der Spalten- und Zeilenzahl
xdotool key "ctrl+minus" 

die Schrift vorübergehend verkleinert und nach Darstellung dieser Kalenderdaten-Seite mit

1
2

xdotool key "Ctrl+0"    # Ersetzt den nicht funktionierenden Befehl xdotool key "Ctrl+plus".
xdotool key "Ctrl+0"

auf die normale Schriftgröße zurückgestellt.

Leider funktioniert das unter Ubuntu 22.04 nicht mehr; wahrscheinlich liegt das daran, dass nun Wayland läuft.

Meine Frage: Lässt sich die Schriftgröße unter Ubuntu 22.04/Wayland vorübergehend durch einen Shell-Befehl verkleinern und dann wieder zurückstellen? Wenn ja, wie mache ich das?

Für alle Hilfe schon jetzt besten Dank!

Rhaban

Hallo Rhaban,

wenn Du nicht zwingend auf Wayland angewiesen bist, kanns Du auf Xorg bei der Anmeldemaske nach Auswahl des Users umstellen.

Grüße

schollsky

Hallo, Schollsky, danke für Deine schnelle Antwort. Du schreibst:

wenn Du nicht zwingend auf Wayland angewiesen bist, kanns Du auf Xorg bei der Anmeldemaske nach Auswahl des Users umstellen.

Da ich hier völlig alleine bin und kein Dritter Zugriff auf meinen Rechner hat, fahre ich den Rechner ohne Eingabe von einem Passwort hoch. Ich gebe also auch keinen User ein.

Ich habe mich vor einigen Monaten auf Ubuntu 22.04 umgestellt — ein Kollege hat mir dabei dankenswerterweise geholfen — und an und für sich läuft Ubuntu 22.04 sehr gut. Es geht nur um dieses eine Shellscript, und hier auch nur um die eine Bildschirmseite, auf der Kalenderdaten dargestellt werden. Ich könnte freilich auch jedes Mal, wenn ich dieses Programm aufrufe, <Strg>- (oder <Ctrl>-) eingeben, dann hätte ich auch den gewünschten Effekt und die Buchstaben würden kleiner. Ich würde mich halt freuen, wenn es ein Wayland-Äquivalent zu xdotool aus Xorg gäbe.

Rhaban schrieb:

Meine Frage: Lässt sich die Schriftgröße unter Ubuntu 22.04/Wayland vorübergehend durch einen Shell-Befehl verkleinern und dann wieder zurückstellen?

Es geht doch – wenn ich das richtig verstanden habe – um die Schriftgröße im Gnome-Terminal, oder?

Wie wäre es mit bspw.

gnome-terminal --zoom 0.7

Da dies nur temporär wirkt, ist diese Einstellung nach Schließen des Fensters bereits passé.

(Man kann auch die Schriftgröße des Terminal über gsettings/dconf ändern, aber da dies in einem relocatable scheme liegt, ist das ein wenig aufwendiger das richtige Kommando zusammen zu basteln. Schaffe ich heute nicht mehr.)

Das sieht prima aus, danke!

Nur noch eine Frage: Gibt es eine Möglichkeit, in dem bisherigen Fenster zu bleiben und nur dort die Schrift zu verkleinern?

Ich habe nun mit gnome-terminal ein wenig experimentiert und bin über https://docs.oracle.com/cd/E88353_01/html/E37839/gnome-terminal-1.html auf eine Lösung gestoßen, die meine Wünsche erfüllt:

1

gnome-terminal --zoom 0.7 --full-screen -- sh -c 'bash assistkb.sh' # Darstellung des Kalenders

Vielen Dank für alle Eure Mühe!