linuxmint / linuxmint/cinnamon

Launcher applet ignores the terminal that the user has chosen

Open
#9,720 14 comments 1 reaction 0 assignees View on GitHub

Nobody has claimed this yet.

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

Description

 * Cinnamon version (cinnamon --version) 4.6.7
 * Distribution - (Mint 17.2, Arch, Fedora 25, etc...) Mint 20
 * Graphics hardware *and* driver used: Intel onboard, UHD Graphics 620, mesa
 * 32 or 64 bit: 64

Issue

Cinnamon's launcher applet (pictured immediately below) ignores the terminal the user has chosen.

image

Steps to reproduce

  1. Set the default terminal to something other than Gnome. So one might set it to the xfce terminal.
  2. Create a launcher with the launcher applet, and in so doing select 'launch in terminal'.
  3. Use the launcher.
  4. See how Gnome terminal appears.

Expected behaviour

The applet should use the terminal that I have set as the default terminal.

Other information

Is this the wrong place to post reports for the launcher applet? That applet declares no author anywhere; I infer that it is considered part of Cinnamon.

Cf. Nemo issue 2571?

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 at the Cinnamon launcher applet entry point and reproduce the issue by selecting a non-GNOME default terminal, creating a launcher with “launch in terminal,” and using it. Trace how the applet chooses the terminal and verify that the configured default terminal is used instead; compare the related Nemo issue if useful.

Written by the indexing model from the issue text.

Assessment

Tech stack
javascript
Domain
desktop
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
58/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.