linuxmint / linuxmint/cinnamon

Application intended to run from terminal (from Menu applet) always tries to run from gnome-terminal, not the set default. Even if it's not installed.

Open
#9,255 15 comments 1 reaction 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
JavaScript
Stars
5.6k
Forks
915
Avg merge
5d 22h
Merged PRs (30d)
3

Description

 * Cinnamon version: 4.4.8
 * Distribution: Arch
 * AMD + amdgpu
 * 64 bit
 * No relevant logs

Issue
Application entries flagged to run from Terminal always open in gnome-terminal. Even if it's not installed or a different terminal is set as Default.

In their JS code the Menu Applet (And Cinnamenu) uses this C function to open.

Steps to reproduce

  • Set you preferred terminal to something other than gnome-terminal
  • Optional Uninstall gnome-terminal
  • Run a terminal application from the Menu

Expected behaviour
Terminal opens in the default terminal set in Preferred Applications.

Other information
If this is not viable at least indicate with an error that gnome-terminal is needed to be installed.

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start with src/cinnamon-app.h, especially the C function linked by the Menu applet and Cinnamenu JavaScript code. Reproduce the launch with a non-gnome-terminal default and check how the configured Preferred Applications terminal is resolved; done means terminal applications use that default, or report a clear error when no required terminal is available.

Written by the indexing model from the issue text.

Assessment

Tech stack
c, javascript
Domain
desktop
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.