[gnome-builder] greeter: add freedesktop URI prefix
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] greeter: add freedesktop URI prefix
- Date: Thu, 7 Mar 2019 21:40:16 +0000 (UTC)
commit 808190d5f47da090ac49bba893e88cc77130f08c
Author: Sergey Bugaev <bugaevc gmail com>
Date: Fri Mar 8 00:06:34 2019 +0300
greeter: add freedesktop URI prefix
This allows using freedesktop prefix, in addition to the
exisiting gnome, gitlab and github, with the --clone option.
It is mapped to https://gitlab.freedesktop.org/, the GitLab
instance hosted by freedesktop.org, which is the home of many
projects, including Wayland, D-Bus, GStreamer, Cairo, and Mesa.
Signed-off-by: Sergey Bugaev <bugaevc gmail com>
src/libide/greeter/ide-clone-surface.c | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
---
diff --git a/src/libide/greeter/ide-clone-surface.c b/src/libide/greeter/ide-clone-surface.c
index 40cffaa64..f98b3c69f 100644
--- a/src/libide/greeter/ide-clone-surface.c
+++ b/src/libide/greeter/ide-clone-surface.c
@@ -450,9 +450,10 @@ ide_clone_surface_set_uri (IdeCloneSurface *self,
const gchar *prefix;
const gchar *expanded;
} mappings[] = {
- { "gnome:", "https://gitlab.gnome.org/" },
- { "gitlab:", "https://gitlab.com/" },
- { "github:", "https://github.com/" },
+ { "gnome:", "https://gitlab.gnome.org/" },
+ { "freedesktop:", "https://gitlab.freedesktop.org/" },
+ { "gitlab:", "https://gitlab.com/" },
+ { "github:", "https://github.com/" },
};
g_autofree gchar *expanded = NULL;
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]