From mboxrd@z Thu Jan 1 00:00:00 1970 From: Subject: Guix pull error Date: Tue, 6 Nov 2018 16:58:59 +0100 (CET) Message-ID: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_3339_126134378.1541519940566" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:49594) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gK3lX-0004g1-Rj for help-guix@gnu.org; Tue, 06 Nov 2018 10:59:46 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gK3lR-0004q3-4N for help-guix@gnu.org; Tue, 06 Nov 2018 10:59:43 -0500 Received: from w1.tutanota.de ([81.3.6.162]:51412) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gK3lO-00040d-N8 for help-guix@gnu.org; Tue, 06 Nov 2018 10:59:36 -0500 Received: from w2.tutanota.de (unknown [192.168.1.163]) by w1.tutanota.de (Postfix) with ESMTP id 8BE64FBF176 for ; Tue, 6 Nov 2018 15:59:00 +0000 (UTC) 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 ------=_Part_3339_126134378.1541519940566 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hello, Guix Help! I watch an issue. Trying to roll-back and choose another kernel in grub I h= ave no changes. Guix says 'Wrong type to upply: #t' # guix pull=C2=A0 --substitute-urls=3Dhttps://berlin.guixsd.org Updating channel 'guix' from Git repository at 'https://git.savannah.gnu.or= g/git/guix.git' ... Building from this channel: =C2=A0 guix=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 https://git.savannah.gnu.org/git/= guix.git =C2=A0=C2=A0=C2=A0 cddc= 030 Computing Guix derivation for 'x86_64-linux'... - The following derivations will be built: =C2=A0=C2=A0 /gnu/store/swnx6wdgb7b46m450rqsagczss8v09qk-profile.drv =C2=A0=C2=A0 /gnu/store/y02zb0irq8d0zicsh7cfirp0ax7r2mv5-ca-certificate-bun= dle.drv =C2=A0=C2=A0 /gnu/store/pqxzpznd11wgbszk2g93rb2ymisasrhy-fonts-dir.drv =C2=A0=C2=A0 /gnu/store/nlzn5h8r8n6w0ga5mxxd6dkkvv2isfgr-info-dir.drv =C2=A0=C2=A0 /gnu/store/xw73gmjq3idgd4bkbkkc7lnxp237px8b-config.scm.drv =C2=A0=C2=A0 /gnu/store/683h596w7m0zxgz9kc3ivhwaqnfrzdka-guix-config-source= .drv =C2=A0=C2=A0 /gnu/store/6jyhgb0fpv3w86vqj40q23smhng4jvsq-guix-cli.drv =C2=A0=C2=A0 /gnu/store/6wqfy3l4i2slh213ifnh6djdvxz06ima-guix-packages-base= .drv =C2=A0=C2=A0 /gnu/store/94k6sl6vrd9zaryz2hnm9r6y721rrla6-guix-system.drv =C2=A0=C2=A0 /gnu/store/c86n77i6zf9kn4rn20bkq5935xpkd1zh-guix-config.drv =C2=A0=C2=A0 /gnu/store/gkbgcbg379fpcwdhlipqyn4gw6xp7ggx-guix-packages.drv =C2=A0=C2=A0 /gnu/store/2z00yh2lz84fki8fyqx6jc68lf38h134-guix-command.drv =C2=A0=C2=A0 /gnu/store/ibsy655dw4rvnp16vphapj2qk5qj7nb9-guix-cddc0300b-mod= ules.drv =C2=A0=C2=A0 /gnu/store/wn3wjpyn7wm1z7zz6s1sqrf222qi9b4x-guix-cddc0300b-mod= ules.drv =C2=A0=C2=A0 /gnu/store/5jhhh418mlaxmqpmb956xldbrmh4mmrd-manual-database.dr= v =C2=A0=C2=A0 /gnu/store/js1ghld6vqfwnd3iswvkw825ywnnjgsc-guix-cddc0300b.drv substitute: updating substitutes from 'https://berlin.guixsd.org '... 100.0% substitute: updating substitutes from 'https://berlin.guixsd.org '... 100.0% substitute: updating substitutes from 'https://berlin.guixsd.org '... 100.0% substitute: updating substitutes from 'https://berlin.guixsd.org '... 100.0% substitute: updating substitutes from 'https://berlin.guixsd.org '... 100.0% substitute: updating substitutes from 'https://berlin.guixsd.org '... 100.0% substitute: updating substitutes from 'https://berlin.guixsd.org '... 100.0% substitute: updating substitutes from 'https://berlin.guixsd.org '... 100.0% updating substitutes from 'https://berlin.guixsd.org '... 100.0% substitute: updating substitutes from 'https://berlin.guixsd.org '... 100.0% substitute: updating substitutes from 'https://berlin.guixsd.org '... 100.0% building /gnu/store/6wqfy3l4i2slh213ifnh6djdvxz06ima-guix-packages-base.drv= ... compiling...=C2=A0=C2=A0=C2=A0 100.0% of 235 files successfully built /gnu/store/6wqfy3l4i2slh213ifnh6djdvxz06ima-guix-package= s-base.drv building /gnu/store/xw73gmjq3idgd4bkbkkc7lnxp237px8b-config.scm.drv... successfully built /gnu/store/xw73gmjq3idgd4bkbkkc7lnxp237px8b-config.scm.d= rv building /gnu/store/gkbgcbg379fpcwdhlipqyn4gw6xp7ggx-guix-packages.drv... compiling...=C2=A0=C2=A0=C2=A0 100.0% of 180 files successfully built /gnu/store/gkbgcbg379fpcwdhlipqyn4gw6xp7ggx-guix-package= s.drv building /gnu/store/683h596w7m0zxgz9kc3ivhwaqnfrzdka-guix-config-source.drv= ... successfully built /gnu/store/683h596w7m0zxgz9kc3ivhwaqnfrzdka-guix-config-= source.drv building /gnu/store/94k6sl6vrd9zaryz2hnm9r6y721rrla6-guix-system.drv... compiling...=C2=A0=C2=A0=C2=A0 100.0% of 68 files successfully built /gnu/store/94k6sl6vrd9zaryz2hnm9r6y721rrla6-guix-system.= drv building /gnu/store/wn3wjpyn7wm1z7zz6s1sqrf222qi9b4x-guix-cddc0300b-modules= .drv... successfully built /gnu/store/wn3wjpyn7wm1z7zz6s1sqrf222qi9b4x-guix-cddc030= 0b-modules.drv building /gnu/store/6jyhgb0fpv3w86vqj40q23smhng4jvsq-guix-cli.drv... compiling...=C2=A0=C2=A0=C2=A0 100.0% of 41 files successfully built /gnu/store/6jyhgb0fpv3w86vqj40q23smhng4jvsq-guix-cli.drv building /gnu/store/c86n77i6zf9kn4rn20bkq5935xpkd1zh-guix-config.drv... compiling...=C2=A0=C2=A0=C2=A0 100.0% of 1 files successfully built /gnu/store/c86n77i6zf9kn4rn20bkq5935xpkd1zh-guix-config.= drv building /gnu/store/ibsy655dw4rvnp16vphapj2qk5qj7nb9-guix-cddc0300b-modules= .drv... successfully built /gnu/store/ibsy655dw4rvnp16vphapj2qk5qj7nb9-guix-cddc030= 0b-modules.drv building /gnu/store/2z00yh2lz84fki8fyqx6jc68lf38h134-guix-command.drv... successfully built /gnu/store/2z00yh2lz84fki8fyqx6jc68lf38h134-guix-command= .drv building /gnu/store/js1ghld6vqfwnd3iswvkw825ywnnjgsc-guix-cddc0300b.drv... successfully built /gnu/store/js1ghld6vqfwnd3iswvkw825ywnnjgsc-guix-cddc030= 0b.drv building /gnu/store/y02zb0irq8d0zicsh7cfirp0ax7r2mv5-ca-certificate-bundle.= drv... successfully built /gnu/store/y02zb0irq8d0zicsh7cfirp0ax7r2mv5-ca-certifica= te-bundle.drv building /gnu/store/pqxzpznd11wgbszk2g93rb2ymisasrhy-fonts-dir.drv... successfully built /gnu/store/pqxzpznd11wgbszk2g93rb2ymisasrhy-fonts-dir.dr= v building /gnu/store/nlzn5h8r8n6w0ga5mxxd6dkkvv2isfgr-info-dir.drv... successfully built /gnu/store/nlzn5h8r8n6w0ga5mxxd6dkkvv2isfgr-info-dir.drv building /gnu/store/5jhhh418mlaxmqpmb956xldbrmh4mmrd-manual-database.drv... Creating manual page database... 0 entries processed in 0.0 s successfully built /gnu/store/5jhhh418mlaxmqpmb956xldbrmh4mmrd-manual-datab= ase.drv building /gnu/store/swnx6wdgb7b46m450rqsagczss8v09qk-profile.drv... successfully built /gnu/store/swnx6wdgb7b46m450rqsagczss8v09qk-profile.drv 1 package in profile New in this revision: =C2=A0 1 new package: r-weights Backtrace: =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 9 (primitive-l= oad "/root/.config/guix/current/bin/guix") In guix/ui.scm: =C2=A0 1583:12=C2=A0 8 (run-guix-command _ . _) In ice-9/boot-9.scm: =C2=A0=C2=A0=C2=A0 829:9=C2=A0 7 (catch _ _ # =E2=80=A6) =C2=A0=C2=A0=C2=A0 829:9=C2=A0 6 (catch _ _ # =E2=80=A6) =C2=A0=C2=A0=C2=A0 829:9=C2=A0 5 (catch _ _ # =E2=80=A6) In guix/scripts/pull.scm: =C2=A0=C2=A0 507:16=C2=A0 4 (_) In guix/status.scm: =C2=A0=C2=A0=C2=A0 600:4=C2=A0 3 (call-with-status-report _ _) In guix/scripts/pull.scm: =C2=A0=C2=A0 535:24=C2=A0 2 (_) In guix/store.scm: =C2=A0 1605:24=C2=A0 1 (run-with-store _ _ #:guile-for-build _ #:system _ #= _) In unknown file: =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 0 (_ #) ERROR: Wrong type to apply: #t # guix describe Generation 25=C2=A0=C2=A0=C2=A0 Nov 06 2018 18:42:03=C2=A0=C2=A0=C2=A0 (cur= rent) =C2=A0 guix cddc030 =C2=A0=C2=A0=C2=A0 repository URL: https://git.savannah.gnu.org/git/guix.gi= t =C2=A0=C2=A0=C2=A0 branch: master =C2=A0=C2=A0=C2=A0 commit: cddc0300b7fb5fbbc80f45a626073f8372bf491f # guix system list-generations Generation 1=C2=A0=C2=A0=C2=A0 Sep 17 2018 18:23:13 =C2=A0 file name: /var/guix/profiles/system-1-link =C2=A0 canonical file name: /gnu/store/xzsghmp223qr5j6z5h01g4c91lh04mv8-sys= tem =C2=A0 label: GNU with Linux-Libre 4.17.3 (beta) =C2=A0 bootloader: grub =C2=A0 root device: /dev/sda1 =C2=A0 kernel: /gnu/store/s34syxcgp84siz2f77f0qakhgqm928h8-linux-libre-4.17= .3/bzImage Generation 2=C2=A0=C2=A0=C2=A0 Sep 18 2018 19:39:13 =C2=A0 file name: /var/guix/profiles/system-2-link =C2=A0 canonical file name: /gnu/store/0y46rxp6qz257zskarfpkbfk4l5v30sg-sys= tem =C2=A0 label: GNU with Linux-Libre 4.17.3 (beta) =C2=A0 bootloader: grub =C2=A0 root device: /dev/sda1 =C2=A0 kernel: /gnu/store/s34syxcgp84siz2f77f0qakhgqm928h8-linux-libre-4.17= .3/bzImage Generation 3=C2=A0=C2=A0=C2=A0 Sep 19 2018 21:39:30 =C2=A0 file name: /var/guix/profiles/system-3-link =C2=A0 canonical file name: /gnu/store/kccf2ka5bjc9vaxj05dzij49bpyz220b-sys= tem =C2=A0 label: GNU with Linux-Libre 4.17.2 (beta) =C2=A0 bootloader: grub =C2=A0 root device: /dev/sda1 =C2=A0 kernel: /gnu/store/frazbakhb56878ln4j0fr77z5h8836vi-linux-libre-4.17= .2/bzImage Generation 4=C2=A0=C2=A0=C2=A0 Sep 20 2018 11:14:22=C2=A0=C2=A0=C2=A0 (curr= ent) =C2=A0 file name: /var/guix/profiles/system-4-link =C2=A0 canonical file name: /gnu/store/b7d7vl32a3m0f5zjcr1f0ljha72w9pf4-sys= tem =C2=A0 label: GNU with Linux-Libre 4.17 (beta) =C2=A0 bootloader: grub =C2=A0 root device: /dev/sda1 =C2=A0 kernel: /gnu/store/khxmq6p1470171537z8agikiqmi469jr-linux-libre-4.17= /bzImage Generation 5=C2=A0=C2=A0=C2=A0 Oct 14 2018 17:48:59 =C2=A0 file name: /var/guix/profiles/system-5-link =C2=A0 canonical file name: /gnu/store/1kwx2a8gz3qgbdf8gm1frd13g7l5my26-sys= tem =C2=A0 label: GNU with Linux-Libre 4.18.11 (beta) =C2=A0 bootloader: grub =C2=A0 root device: /dev/sda1 =C2=A0 kernel: /gnu/store/01l871gr200yfilx4rg6xx3wg54cpa57-linux-libre-4.18= .11/bzImage Generation 6=C2=A0=C2=A0=C2=A0 Oct 20 2018 14:47:06 =C2=A0 file name: /var/guix/profiles/system-6-link =C2=A0 canonical file name: /gnu/store/zgc200lxj4bgdawvgcffznf545vv02zz-sys= tem =C2=A0 label: GNU with Linux-Libre 4.18.15 (beta) =C2=A0 bootloader: grub =C2=A0 root device: /dev/sda1 =C2=A0 kernel: /gnu/store/hh1dcny44id74ph3v3bmpwyzpss1w95s-linux-libre-4.18= .15/bzImage May be I need to choose right generation? What to do? ------=_Part_3339_126134378.1541519940566 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hello, Guix Help!
I watch an issue. Trying to roll-back and choose ano= ther kernel in grub I have no changes. Guix says 'Wrong type to upply: #t'<= br />

# guix pull  --substitute-urls=3Dhttps://ber= lin.guixsd.org
Updating channel 'guix' from Git repository at 'https://git.savannah.gnu.org/git/guix.git'...<= br />Building from this channel:
  guix    &n= bsp; https://git.savannah.gnu.org/git/guix.git=     cddc030
Computing Guix derivation for 'x86_64-linux= '... -
The following derivations will be built:
   /gnu= /store/swnx6wdgb7b46m450rqsagczss8v09qk-profile.drv
   /gnu/= store/y02zb0irq8d0zicsh7cfirp0ax7r2mv5-ca-certificate-bundle.drv
 = ;  /gnu/store/pqxzpznd11wgbszk2g93rb2ymisasrhy-fonts-dir.drv
&nbs= p;  /gnu/store/nlzn5h8r8n6w0ga5mxxd6dkkvv2isfgr-info-dir.drv
&nbs= p;  /gnu/store/xw73gmjq3idgd4bkbkkc7lnxp237px8b-config.scm.drv
&n= bsp;  /gnu/store/683h596w7m0zxgz9kc3ivhwaqnfrzdka-guix-config-source.d= rv
   /gnu/store/6jyhgb0fpv3w86vqj40q23smhng4jvsq-guix-cli.d= rv
   /gnu/store/6wqfy3l4i2slh213ifnh6djdvxz06ima-guix-packa= ges-base.drv
   /gnu/store/94k6sl6vrd9zaryz2hnm9r6y721rrla6-= guix-system.drv
   /gnu/store/c86n77i6zf9kn4rn20bkq5935xpkd1= zh-guix-config.drv
   /gnu/store/gkbgcbg379fpcwdhlipqyn4gw6x= p7ggx-guix-packages.drv
   /gnu/store/2z00yh2lz84fki8fyqx6jc= 68lf38h134-guix-command.drv
   /gnu/store/ibsy655dw4rvnp16vp= hapj2qk5qj7nb9-guix-cddc0300b-modules.drv
   /gnu/store/wn3w= jpyn7wm1z7zz6s1sqrf222qi9b4x-guix-cddc0300b-modules.drv
   /= gnu/store/5jhhh418mlaxmqpmb956xldbrmh4mmrd-manual-database.drv
 &= nbsp; /gnu/store/js1ghld6vqfwnd3iswvkw825ywnnjgsc-guix-cddc0300b.drv
s= ubstitute: updating substitutes from 'https://berlin.guixsd.org'... 100.0%
substitute: updating substitutes from 'https://b= erlin.guixsd.org'... 100.0%
substitute: updating substitutes from = 'https://berlin.guixsd.org'... 100.0%
substitute: updatin= g substitutes from 'https://berlin.guixsd.org'... 100.0%
= substitute: updating substitutes from 'https://berlin.guixsd.org'... 100.0%
substitute: updating substitutes from 'https://= berlin.guixsd.org'... 100.0%
substitute: updating substitutes from= 'https://berlin.guixsd.org'... 100.0%
substitute: updati= ng substitutes from 'https://berlin.guixsd.org'... 100.0%
updating substitutes from 'https://berlin.guixsd.org'... 100.= 0%
substitute: updating substitutes from 'https://berlin.guix= sd.org'... 100.0%
substitute: updating substitutes from 'https://git.savannah.gn= u.org/git/guix.git
    branch: master
 &n= bsp;  commit: cddc0300b7fb5fbbc80f45a626073f8372bf491f


# guix system list-generations
Generation 1    Sep 17= 2018 18:23:13
  file name: /var/guix/profiles/system-1-link
  canonical file name: /gnu/store/xzsghmp223qr5j6z5h01g4c91lh04mv8-sy= stem
  label: GNU with Linux-Libre 4.17.3 (beta)
  boot= loader: grub
  root device: /dev/sda1
  kernel: /gnu/st= ore/s34syxcgp84siz2f77f0qakhgqm928h8-linux-libre-4.17.3/bzImage
Genera= tion 2    Sep 18 2018 19:39:13
  file name: /var/g= uix/profiles/system-2-link
  canonical file name: /gnu/store/0y46= rxp6qz257zskarfpkbfk4l5v30sg-system
  label: GNU with Linux-Libre= 4.17.3 (beta)
  bootloader: grub
  root device: /dev/s= da1
  kernel: /gnu/store/s34syxcgp84siz2f77f0qakhgqm928h8-linux-l= ibre-4.17.3/bzImage
Generation 3    Sep 19 2018 21:39:3= 0
  file name: /var/guix/profiles/system-3-link
  canon= ical file name: /gnu/store/kccf2ka5bjc9vaxj05dzij49bpyz220b-system
&nb= sp; label: GNU with Linux-Libre 4.17.2 (beta)
  bootloader: grub<= br />  root device: /dev/sda1
  kernel: /gnu/store/frazbakhb= 56878ln4j0fr77z5h8836vi-linux-libre-4.17.2/bzImage
Generation 4 &= nbsp;  Sep 20 2018 11:14:22    (current)
  fi= le name: /var/guix/profiles/system-4-link
  canonical file name: = /gnu/store/b7d7vl32a3m0f5zjcr1f0ljha72w9pf4-system
  label: GNU w= ith Linux-Libre 4.17 (beta)
  bootloader: grub
  root d= evice: /dev/sda1
  kernel: /gnu/store/khxmq6p1470171537z8agikiqmi= 469jr-linux-libre-4.17/bzImage
Generation 5    Oct 14 2= 018 17:48:59
  file name: /var/guix/profiles/system-5-link
&= nbsp; canonical file name: /gnu/store/1kwx2a8gz3qgbdf8gm1frd13g7l5my26-syst= em
  label: GNU with Linux-Libre 4.18.11 (beta)
  bootl= oader: grub
  root device: /dev/sda1
  kernel: /gnu/sto= re/01l871gr200yfilx4rg6xx3wg54cpa57-linux-libre-4.18.11/bzImage
Genera= tion 6    Oct 20 2018 14:47:06
  file name: /var/g= uix/profiles/system-6-link
  canonical file name: /gnu/store/zgc2= 00lxj4bgdawvgcffznf545vv02zz-system
  label: GNU with Linux-Libre= 4.18.15 (beta)
  bootloader: grub
  root device: /dev/= sda1
  kernel: /gnu/store/hh1dcny44id74ph3v3bmpwyzpss1w95s-linux-= libre-4.18.15/bzImage



May be I need to choose right = generation? What to do?


------=_Part_3339_126134378.1541519940566--