[09:07] <MingsPing> Hallo! Ich hätte eine Frage bzgl. Tweaks und dort speziell Keyboard-Tasten-Mapping: Habe eingestellt, dass das CAPS-Lock-Verhalten anders sein soll: Nämlich als zweite ESC-Taste fungieren. Das funktioniert auch. Doch sobald ich meine externe Tastatur ab- und wieder anstecke, "vergisst" sie das. Die normale Laptop-Tastatur verbleibt aber mit CAPS-Lock=ESC.
[09:08] <MingsPing> Das Verhalten ist erst so, seitdem ich von 18.04 auf 20.04 gewechselt bin.
[14:42] <tadeus663> Hallo, ich hatte bei einer alten Ubuntuinstallation die Möglichkeit über dieses "Rechts-Oben-Popup" in der Gnome Leiste das Audiogerät für die Soundausgabe zu wechseln. Also zwischen Mainboard-Klinke-Ausgang und HDMI-Bildschirm Ausgabe. Ich glaube dazu hab ich damals vor langerlangerzeit irgendwas installiert. Ich weiß nur nicht mehr was. Kann mir da jemand auf die Sprüunge helfen?
[14:42] <stevieh> entsprechende extension in extensions.gnome.org suchen
[14:44] <LupusE> ist das nicht einfach pavucontrol?
[14:45] <k1l_> !pulseaudio
[14:45] <le_bot> Informationen zu PulseAudio finden sich im Wiki unter http://wiki.ubuntuusers.de/PulseAudio
[14:45] <stevieh> nein, das ist ne gnome-extension
[14:45] <LupusE> okay.
[14:45] <stevieh> https://extensions.gnome.org/extension/906/sound-output-device-chooser/
[14:45] <le_bot> Title: Sound Input & Output Device Chooser - GNOME Shell Extensions (at extensions.gnome.org)
[14:56] <tadeus663> stevieh, danke, das wars zwar nicht, aber sieht auch gut aus
[14:56] <tadeus663> an die gnome extensions hab ich garnicht gedacht beim suchen
[14:56] <tadeus663> danke
[14:57] <stevieh> bitteschön