[gnome-builder] greeter: add freedesktop URI prefix



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]