edu4rdshl/gnome-shell
1
0
Fork 0
mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-17 23:24:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

extensions-app: Fix app ID in .Devel metainfo

Browse source 
The ID is currently hard-coded to the non-development one, with
the result that the .Devel app effectively doesn't have any
metainfo.

Fix that by configuring the file with the correct ID.

Part-of:
<https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3158>
(cherry picked from commit dfff65bf05)
This commit is contained in:
Florian Müllner 2024-01-31 02:43:56 +01:00
parent 2c66b1befd
commit 7252d85b9d
No known key found for this signature in database
2 changed files with 7 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
subprojects/extensions-app/data/metainfo/meson.build
View file

@ -1,6 +1,10 @@
metainfo = app_id + '.metainfo.xml'
i18n.merge_file(
input: base_id + '.metainfo.xml.in',
input: configure_file(
input: base_id + '.metainfo.xml.in',
output: app_id + '.metainfo.xml.in',
configuration: {'app_id': app_id},
),
output: metainfo,
po_dir: po_dir,
install: true,

4
subprojects/extensions-app/data/metainfo/org.gnome.Extensions.metainfo.xml.in
View file

@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<component type="desktop-application">
<id>org.gnome.Extensions</id>
<id>@app_id@</id>
<name>Extensions</name>
<summary>Manage your GNOME Extensions</summary>
@ -16,7 +16,7 @@
<project_group>GNOME</project_group>
<developer_name>The GNOME Project</developer_name>
<launchable type="desktop-id">org.gnome.Extensions.desktop</launchable>
<launchable type="desktop-id">@app_id@.desktop</launchable>
<kudos>
<kudo>HiDpiIcon</kudo>