| === eTeddy1 is now known as eTeddy | ||
| 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:07 |
|---|---|---|
| MingsPing | Das Verhalten ist erst so, seitdem ich von 18.04 auf 20.04 gewechselt bin. | 09:08 |
| === sem2peie- is now known as sem2peie | ||
| === sem2peie- is now known as sem2peie | ||
| 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:42 |
| LupusE | ist das nicht einfach pavucontrol? | 14:44 |
| 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:45 |
| 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:56 |
| stevieh | bitteschön | 14:57 |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!