From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:403:4789::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id wEIvLdEL0GTHfQEASxT56A (envelope-from ) for ; Sun, 06 Aug 2023 23:08:33 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:4789::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id 6CFqLNEL0GQuUAEAG6o9tA (envelope-from ) for ; Sun, 06 Aug 2023 23:08:33 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 69B6F46430 for ; Sun, 6 Aug 2023 23:08:33 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("body hash did not verify") header.d=gnu.org header.s=fencepost-gnu-org header.b=ix3QbJUS; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1691356113; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=riuXGczWkw0yoy+ZaV9QreSRBMy2ECiWnkPkRQzVttc=; b=tEoELvBYYfuFEiu6eUm9qO4I/I8pJQykkKamc6+tkCxVFbqsaCKteBcfh6OPhzR8LfqFf0 Lm23njnlYANuA1HzCnX3Dreb2ctxkAn3jQ6SGWQ4hlepg3sfu3qj4gAAPrGOdr9NJG3yzb ma/m6VgR8enLYxp1YV4N63WCs9u59cgDDUrRep06cw5ku0IIxj+guUPqj3+YBnnQRrRkae doblzvKXsuh8X+rEH03cwzVNFUz8SMKpvTQPy+8GjOp19EVq8wrQplXBVFAVvc/dHgzMs4 H/Xb8FdnGC5Zl9NWm+Ff4djYAitZVMMgdLfksHKDqm4QVAYI1xOkuxkGO1QJzA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("body hash did not verify") header.d=gnu.org header.s=fencepost-gnu-org header.b=ix3QbJUS; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org ARC-Seal: i=1; s=key1; d=yhetil.org; t=1691356113; a=rsa-sha256; cv=none; b=U1W1Y+Wt8eBDJ/KpRep6AQl5a1i38KMAnquxK4WZkiWvYQjtyz8kW8st4ZL/h326d2yRov od+wbPDgsnG5t14m89ZhMllJxowNhCyzE9bQVpBaFXDwuQYygRXPNa1FgJ8uUhnknOlmmF 7nF9ZYTr+BBb5fZT8zfQJRro2mySIqIwNtXA0gg9/Qz2iN4DkIJpaz0py2K7nNFzz67H1T 7lOSMMWaeNqw26jshwAz3tSx62/Ax7TFEkn2ahLaVcMj0lHEsEIRA1cA2ChYRBet/sTpy6 LJPvySAhv564piWLPzGFRih3lpw6HdabtD6RvULsfrY+ZQATdFCDOMVVVZv2Wg== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qSkyt-0006vz-8L; Sun, 06 Aug 2023 17:08:07 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qSkyr-0006vM-F1 for guix-patches@gnu.org; Sun, 06 Aug 2023 17:08:05 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qSkyr-0001TD-77 for guix-patches@gnu.org; Sun, 06 Aug 2023 17:08:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qSkyr-0005is-2d for guix-patches@gnu.org; Sun, 06 Aug 2023 17:08:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#65119] [PATCH 5/8] home: services: Support mapping of System services to Home services. Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: , guix-patches@gnu.org Resent-Date: Sun, 06 Aug 2023 21:08:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 65119 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 65119@debbugs.gnu.org Cc: Ludovic =?UTF-8?Q?Court=C3=A8s?= , ( , Andrew Tropin , Ludovic =?UTF-8?Q?Court=C3=A8s?= X-Debbugs-Original-Xcc: ( , Andrew Tropin , Ludovic =?UTF-8?Q?Court=C3=A8s?= Received: via spool by 65119-submit@debbugs.gnu.org id=B65119.169135608321970 (code B ref 65119); Sun, 06 Aug 2023 21:08:05 +0000 Received: (at 65119) by debbugs.gnu.org; 6 Aug 2023 21:08:03 +0000 Received: from localhost ([127.0.0.1]:60129 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qSkyo-0005i0-9R for submit@debbugs.gnu.org; Sun, 06 Aug 2023 17:08:03 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:54138) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qSkyl-0005go-Ps for 65119@debbugs.gnu.org; Sun, 06 Aug 2023 17:08:00 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qSkyg-0001PC-K1; Sun, 06 Aug 2023 17:07:54 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:References:In-Reply-To:Date:Subject:To: From; bh=p0zm6S+NSAKCFH6tPJFwFQZFE5R75Sv82JSMbkDEkg0=; b=ix3QbJUSs+FFupPilZd0 Tx3QRlU3QwY+YW+wsYjhq7R65mEE1PEB/nre7Oy/WrjiVpEAlHYovLCHg2iXfqjWtVcQM9pM5z5Or AiF1jh3CSc0NDFmh0EtPpmpSwSDy7ZGD4pdmH3/7WkA+3re/a4jQZgpDCcpybOcvxvs0YZxqokHRX GiSCn2bdS5KjBWtaagkrpQFpgOOK7AFHk4CJ6eBxqlsXJuel6Yo2klMCP5jvpzAEDmOlrv1yJNLly 7xkd7pJ+jEIkEVPEDuYCxLVpmMq42G/4R94x2wrRWxYaO7fbgEgyz0f3YHr1W0jJJQ6mipyKNfZzm mvw5jGjjgu8Dtw==; From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Date: Sun, 6 Aug 2023 23:07:32 +0200 Message-ID: <2e33f4ce62f4238a147e1bac16302751efe69c26.1691355218.git.ludo@gnu.org> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Queue-Id: 69B6F46430 X-Migadu-Scanner: mx1.migadu.com X-Spam-Score: -3.86 X-Migadu-Spam-Score: -3.86 X-TUID: XhyHRoV/+D37 * gnu/home/services.scm (service-type-mapping) (system->home-service-type): New procedures. (define-service-type-mapping, define-service-type-mappings): New macros. (%system/home-service-type-mapping): New variable. : Use 'define-service-type-mappings'. * gnu/home/services/shepherd.scm : Likewise. --- gnu/home/services.scm | 69 +++++++++++++++++++++++++++++++++- gnu/home/services/shepherd.scm | 4 +- 2 files changed, 71 insertions(+), 2 deletions(-) diff --git a/gnu/home/services.scm b/gnu/home/services.scm index 042eba4780..8d53f2f4d3 100644 --- a/gnu/home/services.scm +++ b/gnu/home/services.scm @@ -33,6 +33,7 @@ (define-module (gnu home services) #:use-module (guix diagnostics) #:use-module (guix i18n) #:use-module (guix modules) + #:use-module (guix memoization) #:use-module (srfi srfi-1) #:use-module (srfi srfi-9) #:use-module (ice-9 match) @@ -63,11 +64,16 @@ (define-module (gnu home services) lookup-home-service-types home-provenance + define-service-type-mapping + system->home-service-type + %initialize-gettext) #:re-export (service service-type - service-extension)) + service-extension + for-home + for-home?)) ;;; Comment: ;;; @@ -513,6 +519,67 @@ (define home-activation-service-type reconfiguration or generation switching. This service can be extended with one gexp, but many times, and all gexps must be idempotent."))) + +;;; +;;; Service type graph rewriting. +;;; + +(define (service-type-mapping proc) + "Return a procedure that applies PROC to map a service type graph to another +one." + (define (rewrite extension) + (match (proc (service-extension-target extension)) + (#f #f) + (target + (service-extension target + (service-extension-compute extension))))) + + (define replace + (mlambdaq (type) + (service-type + (inherit type) + (name (symbol-append 'home- (service-type-name type))) + (location (service-type-location type)) + (extensions (filter-map rewrite (service-type-extensions type)))))) + + replace) + +(define %system/home-service-type-mapping + ;; Mapping of System to Home services. + (make-hash-table)) + +(define system->home-service-type + ;; Map the given System service type to the corresponding Home service type. + (let () + (define (replace type) + (define replacement + (hashq-ref %system/home-service-type-mapping type + *unspecified*)) + + (if (eq? replacement *unspecified*) + type + replacement)) + + (service-type-mapping replace))) + +(define-syntax define-service-type-mapping + (syntax-rules (=>) + ((_ system-type => home-type) + (hashq-set! %system/home-service-type-mapping + system-type home-type)))) + +(define-syntax define-service-type-mappings + (syntax-rules (=>) + ((_ (system-type => home-type) ...) + (begin + (define-service-type-mapping system-type => home-type) + ...)))) + +(define-service-type-mappings + (system-service-type => home-service-type) + (activation-service-type => home-activation-service-type) + (profile-service-type => home-profile-service-type)) + ;;; ;;; On-change. diff --git a/gnu/home/services/shepherd.scm b/gnu/home/services/shepherd.scm index 5585ef61b2..bd068c37fc 100644 --- a/gnu/home/services/shepherd.scm +++ b/gnu/home/services/shepherd.scm @@ -141,7 +141,7 @@ (define (ensure-shepherd-gexp config) (define (shepherd-xdg-configuration-files config) `(("shepherd/init.scm" ,(home-shepherd-configuration-file config)))) -(define-public home-shepherd-service-type +(define home-shepherd-service-type (service-type (name 'home-shepherd) (extensions (list (service-extension @@ -168,4 +168,6 @@ (define-public home-shepherd-service-type (default-value (home-shepherd-configuration)) (description "Configure and install userland Shepherd."))) +(define-service-type-mapping + shepherd-root-service-type => home-shepherd-service-type) -- 2.41.0