$ gsettings set org.cinnamon.desktop.default-applications.terminal exec terminal-name
This did not work for me. However installing gnome-terminal or linking my favorite terminal to /usr/bin/gnome-terminal worked like a charm:
$ sudo ln -s /usr/bin/xfce4-terminal /usr/bin/gnome-terminal
—This unsigned comment is by Sirion (talk) 20:25, 18 October 2013. Please sign your posts with ~~~~!
- I don't know if this has been fixed after three years. If someone can verify that it hasn't then the section can be amended. Assuming it hasn't, then creating
/usr/local/bin/gnome-terminalwould be cleaner (if it works). Really though, if this hasn't been fixed then it needs to be reported upstream if it hasn't been already. The bug report could then be referenced here. -- Chazza (talk) 12:30, 31 December 2016 (UTC)
Show / hide desktop icons
This seems to be not working on Gnome desktop or something built on it (like Budgie) anymore. Does it work with the other DEs? Should this be mentioned in the wiki? TarsolyGer (talk) 15:34, 15 June 2019 (UTC)