Changeset 5b8b9f5 for gnome/platform/gcr.xml

Timestamp:

03/18/2024 10:13:29 AM (6 weeks ago)

Author:

Xi Ruoyao <xry111@…>

Branches:

trunk

Children:

a529ba7, cf4501bf

Parents:

9e3d8219

git-author:

Xi Ruoyao <xry111@…> (03/18/2024 10:12:32 AM)

git-committer:

Xi Ruoyao <xry111@…> (03/18/2024 10:13:29 AM)

Message:

gcr3: Disable ssh agent

Let gcr4 provide it, so they don't overwrite each other.

It looks like gcr-ssh-agent is completely useless on non-GNOME desktop
environments, and GNOME users will build gcr4 anyway.

File:

• gnome/platform/gcr.xml (modified) (2 diffs)

gnome/platform/gcr.xml

@@ -130 +130 @@
             --buildtype=release \
             -Dgtk_doc=false     \
+            -Dssh_agent=false   \
             ..                  &&
 ninja</userinput></screen>
@@ -181 +182 @@
     </para>
     -->
+
+    <para>
+      <parameter>-Dssh_agent=false</parameter>: Prevent a conflict with
+      <xref linkend='gcr4'/>.  Omit this switch if you do not plan to
+      install <xref linkend='gcr4'/> and you want to use
+      <command>gcr-ssh-agent</command>.
+    </para>
 
     <para>