I’m tring to change the theme for default Terminal app, the commands seem to run without throwing errors, yet nothing happens.
I tried running:
gsettings set io.elementary.terminal.settings foreground 'rgb(46, 46, 46)'
also this bash script, but nothing takes effect:
palette="#121C21:#E44754:#89BD82:#F7BD51:#5486C0:#B77EB8:#50A5A4:#FFFFFF:#52606B:#E44754:#89BD82:#F7BD51:#5486C0:#B77EB8:#50A5A4:#FFFFFF" foreground="#B3B8C3" background="#121B21" cursor="#E95420" darkstyle="true" # true or false gsettings set io.elementary.terminal.settings palette "$palette" gsettings set io.elementary.terminal.settings foreground "$foreground" gsettings set io.elementary.terminal.settings background "$background" gsettings set io.elementary.terminal.settings cursor-color "$cursor" gsettings set io.elementary.terminal.settings prefer-dark-style "$darkstyle"
dconf-tools and setting the values from there works, but I’m confused as to why
gsetting set commands aren’t doing anything.
I finally got it working. I'll put it here in case someone faces the same issue.
First, I followed @Sysadmin suggestion mentioned in the comments above.
Run the following two commands in the terminal before trying to change colors or theme. (you can add this to your .bashrc or profile so that you don't have to do it everytime your system reboots).
After this, you can run gsettings commands with no problem.
Also, this doesn't require a reboot and changes are reflected immediatly (pretty neat).
Check this awsome tool for switching themes easily.
source: credits to drjmcauliffe
Answered by motash on August 28, 2021
Probably the only one correct way is to do this way:
sudo gsettings set io.elementary.terminal.settings background 'rgb(46, 46, 46,0.95)'
The last position 0.95 is about transparency. Less value means more transparent background.
Settings work only after the restart of the system, so each time you need to restart if you are changing values.
Answered by Sysadmin on August 28, 2021
1 Asked on December 5, 2020 by neilbaldwin
1 Asked on November 29, 2020 by jain
2 Asked on November 29, 2020 by domarius
1 Asked on November 20, 2020 by rippieuk
1 Asked on September 26, 2020 by rakesh-n
1 Asked on July 26, 2020 by hpr
Get help from others!