this post was submitted on 29 Jul 2023
8 points (100.0% liked)
Linux
48072 readers
1 users here now
From Wikipedia, the free encyclopedia
Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).
Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.
Rules
- Posts must be relevant to operating systems running the Linux kernel. GNU/Linux or otherwise.
- No misinformation
- No NSFW content
- No hate speech, bigotry, etc
Related Communities
Community icon by Alpár-Etele Méder, licensed under CC BY 3.0
founded 6 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
What's the result of
gsettings list-keys org.cinnamon.desktop.default-applications.terminal
in a terminal?Also try
gsettings list-keys org.gnome.desktop.default-applications.terminal
in case your system uses the GNOME setting(s) instead.If either show exec-arg but the equivalent isn't showing up in the dconf editor, you could try changing the
list-keys
toreset
. Make sure you back up your dconf before doing this on the off-chance it's corrupted and this makes it worse.Likewise
gsettings
has aset
subcommand that changes values. Similar "have a backup" caveats apply. (I'm not expecting that it is corrupt, but better safe than sorry).Worst case scenario here is that you have to create a [shell/Perl/Python/etc.] script (assuming that will work) or C executable (almost guaranteed to work, but a pain) that
exec
s the necessary command with the required arguments and then give the name of that to the exec key in the dconf.Thanks! I'll check when I get back from work today.
Finally got around to this again..
I have found using gsettings that the keys you listed both have exec and exec-arg.
If I check those keys with dconf, only exec is listed.
Close dconf editor.
Backup
/home/yourusername/.config/dconf/user
file just in case things break later.In a terminal:
gsettings reset org.cinnamon.desktop.default-applications.terminal exec-arg
Open dconf editor and see if the
exec-arg
entry is now visible.If not:
Close dconf again.
Terminal:
gsettings set org.cinnamon.desktop.default-applications.terminal exec-arg "--"
Open dconf editor and see if the
exec-arg
entry is now visible. Maybe it doesn't show up if there's nothing in it (which is strange, but I guess possible).Also
"--"
is usually a safe command line thing because it means "end of arguments" for most commands.You can try:
gsettings get org.cinnamon.desktop.default-applications.terminal exec-arg
...to see if the entry has the double dash or not, whether or not it shows up in the dconf editor.
Further things:
Uninstalling and reinstalling the dconf editor might be worth a try.
The
gsettings
command should be usable to setexec-arg
regardless of what the dconf editor says.Restore that backup if things do go screwy. I can't see any obvious reason why they would, but I can't explain the dconf editor's behaviour either.