Subject: [PATCH gnome-team v2 4/5] services: Rename gnome-udev-rules.

From: Vivien Kraus <[email-masked]>
Date: Mon, 5 Feb 2024 18:05:41 +0100

This function manages both rules and hardware files.

* gnu/services/desktop.scm (gnome-udev-resources): Rename to
gnome-udev-configuration-files.
(gnome-desktop-service-type): Use the new function name gnome-udev-configuration-files.

Change-Id: I195ea6ba032e1e9b5ee45519de109bbd969b6503
---
 gnu/services/desktop.scm | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/gnu/services/desktop.scm b/gnu/services/desktop.scm
index f929a6cf31..263ae61698 100644
--- a/gnu/services/desktop.scm
+++ b/gnu/services/desktop.scm
@@ -1506,8 +1506,9 @@ (define (gnome-packages gnome names)
   "Return the package NAMES among the GNOME package inputs."
   (map (cut gnome-package gnome <>) names))
 
-(define (gnome-udev-rules config)
-  "Return the list of GNOME dependencies that provide udev rules."
+(define (gnome-udev-configuration-files config)
+  "Return the list of GNOME dependencies that provide udev rules and hardware
+files."
   (let* ((gnome (gnome-desktop-configuration-gnome config))
          (shell (gnome-desktop-configuration-shell config)))
     (or (any (match-lambda
@@ -1564,7 +1565,7 @@ (define gnome-desktop-service-type
    (name 'gnome-desktop)
    (extensions
     (list (service-extension udev-service-type
-                             gnome-udev-rules)
+                             gnome-udev-configuration-files)
           (service-extension polkit-service-type
                              gnome-polkit-settings)
           (service-extension profile-service-type
-- 
2.41.0