Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Duplicated .desktop file #591

Closed
tblrchstr opened this issue Jun 12, 2022 · 1 comment
Closed

Duplicated .desktop file #591

tblrchstr opened this issue Jun 12, 2022 · 1 comment
Assignees
@gvnnz
Labels
bug
Milestone
1.0

Comments

@tblrchstr
Copy link
Collaborator

Environment
All.

Describe the bug
The file extras/com.giadamusic.Giada.desktop is the source of truth for the Linux .desktop file, but the make-package.sh script defines its own (outdated) version. The packager script should include extras/com.giadamusic.Giada.desktop instead.
@tblrchstr tblrchstr added the bug label Jun 12, 2022
@tblrchstr tblrchstr changed the title Duplicate .desktop file Duplicated .desktop file Jun 12, 2022
@gvnnz gvnnz self-assigned this Nov 15, 2022
@gvnnz gvnnz added this to the 1.0 milestone Nov 15, 2022
gvnnz added a commit that referenced this issue Dec 21, 2023
@gvnnz
[Linux] Remove duplicated .desktop file generation (#591)
f167bed
@gvnnz
Copy link
Contributor

gvnnz commented Dec 21, 2023

Done in f167bed.

@gvnnz gvnnz closed this as completed Dec 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@gvnnz gvnnz

Labels
bug
Projects
None yet
Milestone
1.0
Development

No branches or pull requests
2 participants
@tblrchstr @gvnnz