From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id gAJhMGuys16HHQAA0tVLHw (envelope-from ) for ; Thu, 07 May 2020 07:02:03 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id aJCvNHeys15eTQAAbx9fmQ (envelope-from ) for ; Thu, 07 May 2020 07:02:15 +0000 Received: from lists.gnu.org (lists.gnu.org [IPv6:2001:470:142::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 DA1F794066D for ; Thu, 7 May 2020 07:02:11 +0000 (UTC) Received: from localhost ([::1]:37932 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jWaXq-0007uy-Cf for larch@yhetil.org; Thu, 07 May 2020 03:02:10 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57718) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jWaXj-0007ug-3Y for bug-guix@gnu.org; Thu, 07 May 2020 03:02:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:58591) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jWaXi-0000Ep-Qc for bug-guix@gnu.org; Thu, 07 May 2020 03:02:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jWaXi-0005Ue-6M for bug-guix@gnu.org; Thu, 07 May 2020 03:02:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#41121: (Keyboard-layout) form does not work "across the board" Resent-From: o.rojon@posteo.net Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Thu, 07 May 2020 07:02:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 41121 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 41121@debbugs.gnu.org X-Debbugs-Original-To: bug-guix@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.158883492021105 (code B ref -1); Thu, 07 May 2020 07:02:01 +0000 Received: (at submit) by debbugs.gnu.org; 7 May 2020 07:02:00 +0000 Received: from localhost ([127.0.0.1]:41904 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jWaXf-0005UL-PJ for submit@debbugs.gnu.org; Thu, 07 May 2020 03:02:00 -0400 Received: from lists.gnu.org ([209.51.188.17]:43208) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jWaXe-0005UD-I6 for submit@debbugs.gnu.org; Thu, 07 May 2020 03:01:58 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57672) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jWaXe-0007uG-9t for bug-guix@gnu.org; Thu, 07 May 2020 03:01:58 -0400 Received: from mout01.posteo.de ([185.67.36.65]:39205) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jWaXb-00089f-MP for bug-guix@gnu.org; Thu, 07 May 2020 03:01:57 -0400 Received: from submission (posteo.de [89.146.220.130]) by mout01.posteo.de (Postfix) with ESMTPS id 4825016005F for ; Thu, 7 May 2020 09:01:51 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1588834911; bh=D4Aeo8XUbEPcdu7CLu0l1B2rpgBe5VInv3m9guOmIME=; h=Date:From:To:Subject:From; b=Cr+oB2BQBGYlOGvQkHr7wBzey/h97WaKT09b73wI3QNHk+GJexlpPOmgt0VAFLcGr vrVmBB/K4ct+Umru17Fo/HTeu/JPRDBQvHWd73JET99WquIBZqVNGHypZK6iAYjp2Q FyiMXzlfDv3po1O4kDfRPY5lBa1Zbj9FmtrSZoJ2keYF5fxupCm2WPX8+cMkzxPznL bw3wb7mLYVucRUOXhNToJI3Aovdsjl9EOrJp0UH0+VQVcC+yM115tZP7YRjjlbyh/N 7AbEejzeRLXXk0Coji8mN67Ctc5YiWjm/fArzt3iLiWE/hXKDHem6wt1KAKqcOKp/q gJaJTsXRy59EQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 49HksV6XtZz9ry2 for ; Thu, 7 May 2020 09:01:50 +0200 (CEST) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable Date: Thu, 07 May 2020 09:01:50 +0200 From: o.rojon@posteo.net Message-ID: <7d29a1f07e7656f042551876ec6f2b44@posteo.net> X-Sender: o.rojon@posteo.net User-Agent: Posteo Webmail Received-SPF: pass client-ip=185.67.36.65; envelope-from=o.rojon@posteo.net; helo=mout01.posteo.de X-detected-operating-system: by eggs.gnu.org: First seen = 2020/05/07 03:01:51 X-ACL-Warn: Detected OS = Linux 3.11 and newer [fuzzy] X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=_AUTOLEARN X-Spam_action: no action X-Spam-Score: -1.3 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -2.3 (--) X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Scanner: scn0 X-Spam-Score: 0.10 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=posteo.net header.s=2017 header.b=Cr+oB2BQ; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 2001:470:142::17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Scan-Result: default: False [0.10 / 13.00]; RCVD_VIA_SMTP_AUTH(0.00)[]; GENERIC_REPUTATION(0.00)[-0.49756099338338]; XM_UA_NO_VERSION(0.01)[]; DWL_DNSWL_BLOCKED(0.00)[2001:470:142::17:from]; R_SPF_ALLOW(-0.20)[+ip6:2001:470:142::/48:c]; R_DKIM_REJECT(1.00)[posteo.net:s=2017]; TO_DN_NONE(0.00)[]; IP_REPUTATION_HAM(0.00)[asn: 22989(0.11), country: US(-0.00), ip: 2001:470:142::17(-0.50)]; MX_GOOD(-0.50)[cached: eggs.gnu.org]; DKIM_TRACE(0.00)[posteo.net:-]; MAILLIST(-0.20)[mailman]; FORGED_RECIPIENTS_MAILLIST(0.00)[]; RCVD_IN_DNSWL_FAIL(0.00)[2001:470:142::17:server fail]; MIME_TRACE(0.00)[0:+]; RCVD_TLS_LAST(0.00)[]; ASN(0.00)[asn:22989, ipnet:2001:470:142::/48, country:US]; MID_RHS_MATCH_FROM(0.00)[]; TAGGED_FROM(0.00)[larch=yhetil.org]; FROM_NEQ_ENVFROM(0.00)[o.rojon@posteo.net,bug-guix-bounces@gnu.org]; ARC_NA(0.00)[]; MIME_GOOD(-0.10)[text/plain]; HAS_LIST_UNSUB(-0.01)[]; RCPT_COUNT_ONE(0.00)[1]; FROM_NO_DN(0.00)[]; RCVD_COUNT_SEVEN(0.00)[11]; FORGED_SENDER_MAILLIST(0.00)[]; DMARC_POLICY_SOFTFAIL(0.10)[posteo.net : SPF not aligned (strict),none] X-TUID: 6vF1lSaA03sA Hej guys, so I hope this actually is a bug and not something not yet implemented=20 or a misunderstanding on my part. In the process of changing my login manager to slim (over gdm), I=20 noticed that the (keyboard-layout ...) form does not work the same way=20 in the (bootloader)/(set-xorg-configuration) and the=20 (slim-configuration) form. While in the former cases, (keyboard-layout=20 keyboard-layout) uses the string I inputted in the beginning of the=20 config file, an error is thrown when I try to do the same in the=20 (slim-configuration) form (error 1). When I simply use (service=20 slim-service-type) and try to supplement via (set-xorg-configuration),=20 an error is thrown as well (error 2). Have a good day folks, guix rules :) ### The errors (with my shabby translations) 1) user@computer ~$ sudo guix system reconfigure=20 src/guix-config/os-desktop.scm Passwort: guix system: error: =E2=80=9Esrc/guix-config/os-desktop.scm=E2=80=9C could = not be=20 loaded: /home/user/src/guix-config/os-desktop.scm:68:30: Wrong type to=20 apply: #< name: "de" variant: #f model: #f options: ()> 2) user@computer ~$ sudo guix system reconfigure=20 src/guix-config/os-desktop.scm guix system: error: Der Dienst =E2=80=9Exorg-server=E2=80=9C kommt mehr als= einmal vor ### The config file (note that some parens might be unbalanced because I=20 tried to remove the "unnecessary" stuff) (use-modules (gnu) (srfi srfi-1)) (use-service-modules desktop networking ssh xorg) (use-package-modules disk llvm linux ncdu xorg less gnome fonts=20 display-managers lxqt syncthing version-control emacs emacs-xyz tex cups video gstreamer gnuzilla=20 web-browsers messaging mail rsync suckless pdf curl databases hardware wm) (operating-system (locale "de_DE.utf8") (timezone "Europe/Berlin") (keyboard-layout (keyboard-layout "de")) (host-name "computer") (users (cons* (user-account (name "user") (comment "") (group "users") (home-directory "/home/hapster") (supplementary-groups '("wheel" "netdev" "audio" "video"))) %base-user-accounts)) (packages (append (map specification->package '( ;;;; PACKAGES )) %base-packages)) ;;;; "alternative" Konfiguration (services (cons* (service slim-service-type) ;; (slim-configuration ;; (xorg-configuration ;; (keyboard-layout keyboard-layout)))) ;; (set-xorg-configuration ;; (xorg-configuration ;; (keyboard-layout keyboard-layout))) (remove (lambda (service) (eq? (service-kind service) gdm-service-type)) %desktop-services))) (bootloader (bootloader-configuration (bootloader grub-bootloader) (target "/dev/sdX") (keyboard-layout keyboard-layout))) (file-systems (cons* ;;;; FILESYSTEMS %base-file-systems)))