From 04d30ebcedec4debc543e8490079bf09c3bc41ae Mon Sep 17 00:00:00 2001 From: blt__ <63462729+blt-r@users.noreply.github.com> Date: Sat, 8 Apr 2023 11:10:43 +0400 Subject: [PATCH] Fix appdata file (#2793) * Add to appdata file * Add to appdata file * Change application_id to use github.io instead of github.com Github actually gives username.github.io domains and not username.github.com, therefore it is more correct to use .io top level domain. We can use ... for everyone who expected the old application_id --- ...ro.metainfo.xml => io.github.zyedidia.micro.metainfo.xml} | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) rename data/{com.github.zyedidia.micro.metainfo.xml => io.github.zyedidia.micro.metainfo.xml} (85%) diff --git a/data/com.github.zyedidia.micro.metainfo.xml b/data/io.github.zyedidia.micro.metainfo.xml similarity index 85% rename from data/com.github.zyedidia.micro.metainfo.xml rename to data/io.github.zyedidia.micro.metainfo.xml index 0d784d7d..a83d3230 100644 --- a/data/com.github.zyedidia.micro.metainfo.xml +++ b/data/io.github.zyedidia.micro.metainfo.xml @@ -1,16 +1,18 @@ - com.github.zyedidia.micro + io.github.zyedidia.micro micro.desktop Micro Text Editor A modern and intuitive terminal-based text editor MIT + MIT Development TextEditor micro + com.github.zyedidia.micro Zachary Yedidia @@ -19,6 +21,7 @@ https://raw.githubusercontent.com/zyedidia/micro/master/assets/micro-solarized.png + https://micro-editor.github.io https://github.com/zyedidia/micro/issues