I'm using Ubuntu 23.04 for just a few days and tried to install user themes with the Gnome-tweaks tool. However the themes do only affect the tweaks app and the top bar, but not the File Manager or the Settings app.
I use gnome-tweaks
to turn my Caps Lock into a Control Key. This works normally, but not when I plug in a new external keyboard. I can make it work by:
- Opening
gnome-tweaks
- Getting to the right place on the GUI: Keyboard & Mouse -> Additional Layout Options -> Caps Lock behaviour
- Flipping between any other option and "Caps Lock is also a Ctrl"
Is there some terminal command I can run that will refresh gnome-tweaks
for my currently plugged in devices? Failing that, is there a command I can run that will do this switch I'm currently doing manually?
This is a bug, but it's affecting my current version and the above would serve as a workaround.
I use gnome tweaks to switch my left CTRL and ALT keys. This has been working fine since 18.4, and I had no issues since upgrading to 20.4 until today...
When I open the settings I can see the checkbox to swap the keys is still ticked. When I untick the checkbox and reapply it the key bindings work - for around 5 minutes. Then for no apparent reason reverts back to default. I've even tried leaving the window open - I can see it remain checked, wait for it to no longer apply, it's still ticked, I untick and re-tick it and it works again
Any help for how I can troubleshoot this is much appreciated.
As you can see that only two options are showing in the gnome tweak tool. All other options are hidden or not showing.
This is happening in Ubuntu 19.10. However, everything is working fine on Linux Mint.
Following a fresh hardware install I found "GNOME Tweaks" in the Software app and installed it. Subsequently I ran in terminal:
sudo apt install gnome-tweak-tool
To my surprise it installed another package, not an upgrade.
The Tweak Tool works fine, but I'm wondering if I now have 2 versions of the tool installed, and if so which one should I remove?
Update
I found out that gnome-tweaks
is the prime package to have installed:
$ apt show gnome-tweaks
...
Breaks: gnome-tweak-tool (<= 3.27.4)
Replaces: gnome-tweak-tool (<= 3.27.4)
APT-Manual-Installed: yes
...
$ apt show gnome-tweak-tool
...
Source: gnome-tweaks
Depends: gnome-tweaks
...