From mboxrd@z Thu Jan 1 00:00:00 1970 From: brettg@posteo.net Subject: Removing prop-inputs Date: Sat, 12 Jan 2019 02:25:44 +0100 Message-ID: <13837c9dff3c68d246e0875baa3ec166@posteo.net> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([209.51.188.92]:43850) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gi8DG-0005Nx-N9 for help-guix@gnu.org; Fri, 11 Jan 2019 20:35:51 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gi83a-000647-M2 for help-guix@gnu.org; Fri, 11 Jan 2019 20:25:51 -0500 Received: from mout01.posteo.de ([185.67.36.65]:56681) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gi83a-0005vL-1o for help-guix@gnu.org; Fri, 11 Jan 2019 20:25:50 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout01.posteo.de (Postfix) with ESMTPS id 4C0B316005D for ; Sat, 12 Jan 2019 02:25:45 +0100 (CET) Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 43c29h5BQVz6tm7 for ; Sat, 12 Jan 2019 02:25:44 +0100 (CET) List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: help-guix Hi all, this is my system configuration file. I am trying to remove nautilus and epiphany from the gnome-desktop-service that gets loaded. So far I am not having any luck. Any ideas? (use-modules (gnu) (gnu system nss) (srfi srfi-1) (guix packages) (ice-9 match)) (use-service-modules desktop xorg) (use-package-modules certs gnome) (define-public gnome-custom (package (inherit gnome) (name "gnome-custom") (propagated-inputs (remove (match-lambda ;; Ignore the second value. ((name _) (string=? name "nautilus") (string=? name "epiphany"))) (package-propagated-inputs gnome))))) (operating-system (host-name "guixsd") (timezone "America/Chicago") (locale "en_US.utf8") ;; Use the UEFI variant of GRUB with the EFI System ;; Partition mounted on /boot/efi. (bootloader (bootloader-configuration (bootloader grub-efi-bootloader) (target "/boot/efi"))) (file-systems (cons (file-system (device (file-system-label "my-root")) (mount-point "/") (type "ext4")) %base-file-systems)) (users (cons (user-account (name "brettg") (comment "Brett Gilio") (group "users") (supplementary-groups '("wheel" "netdev" "audio" "video")) (home-directory "/home/brettg")) %base-user-accounts)) ;; This is where we specify system-wide packages. (packages (cons* nss-certs ;for HTTPS access gvfs ;for user mounts %base-packages)) ;; Add GNOME and/or Xfce---we can choose at the log-in ;; screen with F1. Use the "desktop" services, which ;; include the X11 log-in service, networking with ;; NetworkManager, and more. (services (cons* (service gnome-desktop-service-type (gnome-desktop-configuration (inherit config) (gnome-package gnome-custom))) %desktop-services)) ;; Allow resolution of '.local' host names with mDNS. (name-service-switch %mdns-host-lookup-nss))