From mboxrd@z Thu Jan 1 00:00:00 1970 From: BYRON ELIAS MOLINA HERMOSILLA Subject: Help Installing GuixSD on ThinkPad X60 tablet Date: Tue, 30 Jul 2019 15:22:37 +0000 Message-ID: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="_000_BL0PR02MB545967168AAFBBC311F2F4668BDC0BL0PR02MB5459namp_" Return-path: Content-Language: es-CL List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: "help-guix@gnu.org" , "guix-devel@gnu.org" List-Id: help-guix.gnu.org --_000_BL0PR02MB545967168AAFBBC311F2F4668BDC0BL0PR02MB5459namp_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Hi! I'm having a problem I hope someone can help me with :( I just got a refurb= ished ThinkPad X60 Tablet with 3GB RAM and a 128 SSD, and I was reading abo= ut the free distros that are available so I could later install libreboot a= nd saw there was Guix, and I found it great! But the thing is, it wouldn't = work :( I downloaded the i686 iso and flashed it to a 3.0 USB Kingston DataTraveler= with Balena Etcher, it worked fine, it booted, I followed the graphical in= stall, set the language and keymap, location, and chose to use full disk wi= th separate home partition and full encryption, I also selected i3 and open= box as desktops and lastly mozilla https and tor network. It installed without errors, and asked me to reboot, after that it asked me= the / encryption passphrase, got to the grub screen, then asked me the hom= e passphrase, aaand... it booted to Gnu Guile! And by typing ",help guix" i= t only showed me the option to switch to bournish language! I read every si= ngle command that ",help all" showed me but none helped, I saw also somethi= ng about "repl" in the welcome message but tried it and the command didn't = work either. Then I thought maybe it was something about the greeter not being installed= so I reinstalled with Gnome and i3 but same thing, booted to Guile, and I = don't know how to boot the os itself. If anyone knows what I did wrong or had a similar situation, I would gladly= appreciate it, I really wanted to try out Guix :( If you need any more inf= ormation, I can provide. Thanks in advance! Byron El=EDas Molina Hermosilla, Software Engineering Student, INACAP Renca, Chile. --_000_BL0PR02MB545967168AAFBBC311F2F4668BDC0BL0PR02MB5459namp_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

Hi!

I'm having a p= roblem I hope someone can help me with :( I just got a refurbished ThinkPad X60 Tablet with 3GB RAM and a 128 SSD, and I was reading= about the free distros that are available so I could later install libreboot and saw there was Guix, and I found it = great! But the thing is, it wouldn't work :(

I downloaded t= he i686 iso and flashed it to a 3.0 USB Kingston DataTraveler with Balena E= tcher, it worked fine, it booted, I followed the graphical install, set the= language and keymap, location, and chose to use full disk with separate home partition and full encryption, I= also selected i3 and openbox as desktops and lastly mozilla https and tor = network.

It installed wi= thout errors, and asked me to reboot, after that it asked me the / encrypti= on passphrase, got to the grub screen, then asked me the home passphrase, a= aand... it booted to Gnu Guile! And by typing ",help guix" it only showed me the option to switch to= bournish language! I read every single command that ",help all" = showed me but none helped, I saw also something about "repl" in t= he welcome message but tried it and the command didn't work either.<= /span>

Then I thought= maybe it was something about the greeter not being installed so I reinstal= led with Gnome and i3 but same thing, booted to Guile, and I don't know how= to boot the os itself.

If anyone know= s what I did wrong or had a similar situation, I would gladly appreciate it= , I really wanted to try out Guix :( If you need any more information, I ca= n provide. Thanks in adva= nce!

Byron El=EDas Molina Hermosilla,=

Software Engineering Student,

INACAP Renca, Chile.

--_000_BL0PR02MB545967168AAFBBC311F2F4668BDC0BL0PR02MB5459namp_-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ricardo Wurmus Subject: Re: Help Installing GuixSD on ThinkPad X60 tablet Date: Tue, 30 Jul 2019 19:14:07 +0200 Message-ID: <87k1bz5tsw.fsf@elephly.net> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:58964) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hsVhZ-0004Vv-8C for help-guix@gnu.org; Tue, 30 Jul 2019 13:14:18 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hsVhY-0004CN-BX for help-guix@gnu.org; Tue, 30 Jul 2019 13:14:17 -0400 Received: from sender-of-o51.zoho.com ([135.84.80.216]:21203) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hsVhX-0004BU-UL for help-guix@gnu.org; Tue, 30 Jul 2019 13:14:16 -0400 In-reply-to: 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: BYRON ELIAS MOLINA HERMOSILLA Cc: "help-guix@gnu.org" Hi, > It installed without errors, and asked me to reboot, after that it > asked me the / encryption passphrase, got to the grub screen, then > asked me the home passphrase, aaand... it booted to Gnu Guile! This probably means that it couldn=E2=80=99t unlock the disk or wasn=E2=80= =99t able to find the unlocked partition. It falls back to a rescue Guile REPL, which is what you=E2=80=99ve been interacting with. Could you please share your operating system configuration and the version of Guix you used to install? -- Ricardo From mboxrd@z Thu Jan 1 00:00:00 1970 From: Vagrant Cascadian Subject: Re: Help Installing GuixSD on ThinkPad X60 tablet Date: Tue, 30 Jul 2019 14:38:43 -0300 Message-ID: <87a7cv1kyk.fsf@ponder> References: Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:36567) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hsW5n-0002eJ-0c for help-guix@gnu.org; Tue, 30 Jul 2019 13:39:19 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hsW5l-0001oA-RX for help-guix@gnu.org; Tue, 30 Jul 2019 13:39:18 -0400 Received: from cascadia.aikidev.net ([2600:3c01:e000:267:0:a171:de7:c]:48362) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hsW5l-0001mS-LW for help-guix@gnu.org; Tue, 30 Jul 2019 13:39:17 -0400 In-Reply-To: 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: BYRON ELIAS MOLINA HERMOSILLA Cc: help-guix@gnu.org --=-=-= Content-Type: text/plain On 2019-07-30, BYRON ELIAS MOLINA HERMOSILLA wrote: > I downloaded the i686 iso and flashed it to a 3.0 USB Kingston > DataTraveler with Balena Etcher, it worked fine, it booted, I followed > the graphical install, set the language and keymap, location, and > chose to use full disk with separate home partition and full > encryption, I also selected i3 and openbox as desktops and lastly > mozilla https and tor network. > It installed without errors, and asked me to reboot, after that it > asked me the / encryption passphrase, got to the grub screen, then > asked me the home passphrase, aaand... it booted to Gnu Guile! And by > typing ",help guix" it only showed me the option to switch to bournish > language! I read every single command that ",help all" showed me but > none helped, I saw also something about "repl" in the welcome message > but tried it and the command didn't work either. Typically, you need to type in the same passhrase twice for "/", once for grub and once from the initramfs to mount "/" ... are you sure you typed the right passphrases in at the right times? If you were only asked for two passphrases and got a guile prompt after the second passphrase, this would be my *guess* what happened. live well, vagrant --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQRlgHNhO/zFx+LkXUXcUY/If5cWqgUCXUCApAAKCRDcUY/If5cW qlcCAP0fcc3isMBfJ6kMlj7ZIPvd8lE86ADN8/XiPJ6nbLW1jwD9EQw/K9wPhEjy 5fR79PQ9Jwuie04NMvq1gJHdnNg10wo= =4JRo -----END PGP SIGNATURE----- --=-=-=-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: BYRON ELIAS MOLINA HERMOSILLA Subject: Re: Help Installing GuixSD on ThinkPad X60 tablet Date: Tue, 30 Jul 2019 22:49:37 +0000 Message-ID: References: , <87k1bz5tsw.fsf@elephly.net> Mime-Version: 1.0 Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:44950) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hsawD-0004rD-Fh for help-guix@gnu.org; Tue, 30 Jul 2019 18:49:47 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hsaw9-0002Dz-6z for help-guix@gnu.org; Tue, 30 Jul 2019 18:49:45 -0400 Received: from mail-eopbgr680116.outbound.protection.outlook.com ([40.107.68.116]:46585 helo=NAM04-BN3-obe.outbound.protection.outlook.com) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hsaw8-000282-Lt for help-guix@gnu.org; Tue, 30 Jul 2019 18:49:41 -0400 In-Reply-To: <87k1bz5tsw.fsf@elephly.net> Content-Language: es-CL 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: Ricardo Wurmus Cc: "help-guix@gnu.org" Hi Ricardo! I used the guix-system-install-1.0.1.i686-linux iso, verified the authentic= ity of the image and got: gpg: assuming signed data in 'guix-system-install-1.0.1.i686-linux.iso.xz' gpg: Signature made Sun 19 May 2019 04:47:37 PM EDT gpg: using RSA key 3CE464558A84FDC69DB40CFB090B11993D9AEBB5 gpg: Good signature from "Ludovic Court=E8s " [unknown] gpg: aka "Ludovic Court=E8s " [unknown] gpg: aka "Ludovic Court=E8s (Inria) " [unknown] gpg: WARNING: This key is not certified with a trusted signature! gpg: There is no indication that the signature belongs to the owne= r. Primary key fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 And the system configuration (which I had to write down on hand so beware i= f you find any syntactic or semantic errors, I reviewed several times but, = in case): (use-modules (gnu)) (use-service-modules desktop networking ssh xorg) (operating-system (locale "en_US.utf8") (timezone "America/Santiago") (keyboard-layout (keyboard-layout "us" "alt-intl")) (bootloader (bootloader-configuration (bootloader grub-bootloader) (target "/dev/sda") (keyboard-layout keyboard-layout))) (mapped-devices (list (mapped-device (source (uuid "xxxx")) (target "cryptroot") (type luks-device-mapping)) (mapped-device (source (uuid "yyyy")) (target "crypthome") (type luks-device-mapping)))) (file-systems (cons* (file-system (mount-point "/") (device "/dev/mapper/cryptroot") (type "ext4") (dependencies mapped-devices)) (file-system (mount-point "/home") (device "/dev/mapper/crypthome") (type "ext4") (dependencies mapped-devices)) %base-file-systems)) (host-name "my-hostname") (users (cons* (user-account (name "my-user") (comment "my-full-name") (group "users") (home-directory "/home/my-user") (supplementary-groups '("wheel" "netdev" "audio" "video"))) %base-user-accounts)) (packages (append (list (specification->package "i3-wm") (specification->package "nss-certs")) %base-packages)) (services (append (list (service gnome-desktop-service-type) (service tor-service-type) (set xorg-configuration (xorg-configuration (keyboard-layout keyboard-layout)))) %desktop-services))) I also saw in the web that only libreboot could see an encrypted /boot, not= the case for the proprietary BIOS, is that true? Maybe that should be the = reason it sent me to a Guile REPL? Thanks for contacting me! Byron El=EDas Molina Hermosilla, Software Engineering Student, INACAP Renca, Chile. ________________________________ De: Ricardo Wurmus Enviado: martes, 30 de julio de 2019 13:14:07 Para: BYRON ELIAS MOLINA HERMOSILLA Cc: help-guix@gnu.org Asunto: Re: Help Installing GuixSD on ThinkPad X60 tablet Hi, > It installed without errors, and asked me to reboot, after that it > asked me the / encryption passphrase, got to the grub screen, then > asked me the home passphrase, aaand... it booted to Gnu Guile! This probably means that it couldn=92t unlock the disk or wasn=92t able to find the unlocked partition. It falls back to a rescue Guile REPL, which is what you=92ve been interacting with. Could you please share your operating system configuration and the version of Guix you used to install? -- Ricardo From mboxrd@z Thu Jan 1 00:00:00 1970 From: BYRON ELIAS MOLINA HERMOSILLA Subject: Re: Help Installing GuixSD on ThinkPad X60 tablet Date: Tue, 30 Jul 2019 22:53:45 +0000 Message-ID: References: , <87a7cv1kyk.fsf@ponder> Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:58228) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hsb0B-0006gX-TW for help-guix@gnu.org; Tue, 30 Jul 2019 18:53:53 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hsb09-000063-D2 for help-guix@gnu.org; Tue, 30 Jul 2019 18:53:51 -0400 Received: from mail-eopbgr770123.outbound.protection.outlook.com ([40.107.77.123]:14822 helo=NAM02-SN1-obe.outbound.protection.outlook.com) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hsb07-0008Tz-Jo for help-guix@gnu.org; Tue, 30 Jul 2019 18:53:49 -0400 In-Reply-To: <87a7cv1kyk.fsf@ponder> Content-Language: es-CL 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: Vagrant Cascadian Cc: "help-guix@gnu.org" Hi Vagrant! That seems logical, but I'm really sure I typed the correct passphrase and = yes, it only asked me those 2 times, I admit, I typed it incorrectly a coup= le times, but when I did it told me it was incorrect, and asked me the same= passphrase again. I used the guix-system-install-1.0.1.i686-linux iso, verified the authentic= ity of the image and got: gpg: assuming signed data in 'guix-system-install-1.0.1.i686-linux.iso.xz' gpg: Signature made Sun 19 May 2019 04:47:37 PM EDT gpg: using RSA key 3CE464558A84FDC69DB40CFB090B11993D9AEBB5 gpg: Good signature from "Ludovic Court=E8s " [unknown] gpg: aka "Ludovic Court=E8s " [unknown] gpg: aka "Ludovic Court=E8s (Inria) " [unknown] gpg: WARNING: This key is not certified with a trusted signature! gpg: There is no indication that the signature belongs to the owne= r. Primary key fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 And the system configuration (which I had to write down on hand so beware i= f you find any syntactic or semantic errors, I reviewed several times but, = in case): (use-modules (gnu)) (use-service-modules desktop networking ssh xorg) (operating-system (locale "en_US.utf8") (timezone "America/Santiago") (keyboard-layout (keyboard-layout "us" "alt-intl")) (bootloader (bootloader-configuration (bootloader grub-bootloader) (target "/dev/sda") (keyboard-layout keyboard-layout))) (mapped-devices (list (mapped-device (source (uuid "xxxx")) (target "cryptroot") (type luks-device-mapping)) (mapped-device (source (uuid "yyyy")) (target "crypthome") (type luks-device-mapping)))) (file-systems (cons* (file-system (mount-point "/") (device "/dev/mapper/cryptroot") (type "ext4") (dependencies mapped-devices)) (file-system (mount-point "/home") (device "/dev/mapper/crypthome") (type "ext4") (dependencies mapped-devices)) %base-file-systems)) (host-name "my-hostname") (users (cons* (user-account (name "my-user") (comment "my-full-name") (group "users") (home-directory "/home/my-user") (supplementary-groups '("wheel" "netdev" "audio" "video"))) %base-user-accounts)) (packages (append (list (specification->package "i3-wm") (specification->package "nss-certs")) %base-packages)) (services (append (list (service gnome-desktop-service-type) (service tor-service-type) (set xorg-configuration (xorg-configuration (keyboard-layout keyboard-layout)))) %desktop-services))) I also saw in the web that only libreboot could see an encrypted /boot, not= the case for the proprietary BIOS, is that true? Maybe that should be the = reason it sent me to a Guile REPL? Thanks for contacting me! Byron El=EDas Molina Hermosilla, Software Engineering Student, INACAP Renca, Chile. ________________________________ De: Vagrant Cascadian Enviado: martes, 30 de julio de 2019 13:38:43 Para: BYRON ELIAS MOLINA HERMOSILLA Cc: help-guix@gnu.org Asunto: Re: Help Installing GuixSD on ThinkPad X60 tablet On 2019-07-30, BYRON ELIAS MOLINA HERMOSILLA wrote: > I downloaded the i686 iso and flashed it to a 3.0 USB Kingston > DataTraveler with Balena Etcher, it worked fine, it booted, I followed > the graphical install, set the language and keymap, location, and > chose to use full disk with separate home partition and full > encryption, I also selected i3 and openbox as desktops and lastly > mozilla https and tor network. > It installed without errors, and asked me to reboot, after that it > asked me the / encryption passphrase, got to the grub screen, then > asked me the home passphrase, aaand... it booted to Gnu Guile! And by > typing ",help guix" it only showed me the option to switch to bournish > language! I read every single command that ",help all" showed me but > none helped, I saw also something about "repl" in the welcome message > but tried it and the command didn't work either. Typically, you need to type in the same passhrase twice for "/", once for grub and once from the initramfs to mount "/" ... are you sure you typed the right passphrases in at the right times? If you were only asked for two passphrases and got a guile prompt after the second passphrase, this would be my *guess* what happened. live well, vagrant From mboxrd@z Thu Jan 1 00:00:00 1970 From: BYRON ELIAS MOLINA HERMOSILLA Subject: Re: Help Installing GuixSD on ThinkPad X60 tablet Date: Wed, 31 Jul 2019 00:23:28 +0000 Message-ID: References: , <87k1bz5tsw.fsf@elephly.net>, Mime-Version: 1.0 Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:47989) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hscP5-00014m-JH for help-guix@gnu.org; Tue, 30 Jul 2019 20:23:41 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hscP0-0001u5-FM for help-guix@gnu.org; Tue, 30 Jul 2019 20:23:36 -0400 Received: from mail-eopbgr780099.outbound.protection.outlook.com ([40.107.78.99]:7840 helo=NAM03-BY2-obe.outbound.protection.outlook.com) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hscOw-0001rc-WE for help-guix@gnu.org; Tue, 30 Jul 2019 20:23:32 -0400 In-Reply-To: Content-Language: es-CL 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: Ricardo Wurmus Cc: "help-guix@gnu.org" I got it to boot! I reinstalled using the exact same configuration BUT I didn't use encrypted= LVM (it must have been the libreboot problem I said earlier, gonna try aft= er installing it), that actually made the guided partitioning define me a s= wap, something the encrypted one didn't do, why's that? And also, the wacom= integrated screen doesn't work, I installed xf86-input-wacom but on Gnome = Control Center it shows "no tablet/stylus detected". Do I have to configure= or install something more? Byron El=EDas Molina Hermosilla, Software Engineering Student, INACAP Renca, Chile. ________________________________ De: BYRON ELIAS MOLINA HERMOSILLA Enviado: martes, 30 de julio de 2019 18:49:37 Para: Ricardo Wurmus Cc: help-guix@gnu.org Asunto: Re: Help Installing GuixSD on ThinkPad X60 tablet Hi Ricardo! I used the guix-system-install-1.0.1.i686-linux iso, verified the authentic= ity of the image and got: gpg: assuming signed data in 'guix-system-install-1.0.1.i686-linux.iso.xz' gpg: Signature made Sun 19 May 2019 04:47:37 PM EDT gpg: using RSA key 3CE464558A84FDC69DB40CFB090B11993D9AEBB5 gpg: Good signature from "Ludovic Court=E8s " [unknown] gpg: aka "Ludovic Court=E8s " [unknown] gpg: aka "Ludovic Court=E8s (Inria) " [unknown] gpg: WARNING: This key is not certified with a trusted signature! gpg: There is no indication that the signature belongs to the owne= r. Primary key fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 And the system configuration (which I had to write down on hand so beware i= f you find any syntactic or semantic errors, I reviewed several times but, = in case): (use-modules (gnu)) (use-service-modules desktop networking ssh xorg) (operating-system (locale "en_US.utf8") (timezone "America/Santiago") (keyboard-layout (keyboard-layout "us" "alt-intl")) (bootloader (bootloader-configuration (bootloader grub-bootloader) (target "/dev/sda") (keyboard-layout keyboard-layout))) (mapped-devices (list (mapped-device (source (uuid "xxxx")) (target "cryptroot") (type luks-device-mapping)) (mapped-device (source (uuid "yyyy")) (target "crypthome") (type luks-device-mapping)))) (file-systems (cons* (file-system (mount-point "/") (device "/dev/mapper/cryptroot") (type "ext4") (dependencies mapped-devices)) (file-system (mount-point "/home") (device "/dev/mapper/crypthome") (type "ext4") (dependencies mapped-devices)) %base-file-systems)) (host-name "my-hostname") (users (cons* (user-account (name "my-user") (comment "my-full-name") (group "users") (home-directory "/home/my-user") (supplementary-groups '("wheel" "netdev" "audio" "video"))) %base-user-accounts)) (packages (append (list (specification->package "i3-wm") (specification->package "nss-certs")) %base-packages)) (services (append (list (service gnome-desktop-service-type) (service tor-service-type) (set xorg-configuration (xorg-configuration (keyboard-layout keyboard-layout)))) %desktop-services))) I also saw in the web that only libreboot could see an encrypted /boot, not= the case for the proprietary BIOS, is that true? Maybe that should be the = reason it sent me to a Guile REPL? Thanks for contacting me! Byron El=EDas Molina Hermosilla, Software Engineering Student, INACAP Renca, Chile. ________________________________ De: Ricardo Wurmus Enviado: martes, 30 de julio de 2019 13:14:07 Para: BYRON ELIAS MOLINA HERMOSILLA Cc: help-guix@gnu.org Asunto: Re: Help Installing GuixSD on ThinkPad X60 tablet Hi, > It installed without errors, and asked me to reboot, after that it > asked me the / encryption passphrase, got to the grub screen, then > asked me the home passphrase, aaand... it booted to Gnu Guile! This probably means that it couldn=92t unlock the disk or wasn=92t able to find the unlocked partition. It falls back to a rescue Guile REPL, which is what you=92ve been interacting with. Could you please share your operating system configuration and the version of Guix you used to install? -- Ricardo From mboxrd@z Thu Jan 1 00:00:00 1970 From: BYRON ELIAS MOLINA HERMOSILLA Subject: Re: Help Installing GuixSD on ThinkPad X60 tablet Date: Wed, 31 Jul 2019 00:23:40 +0000 Message-ID: References: , <87a7cv1kyk.fsf@ponder>, Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:48338) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hscPH-00018z-PU for help-guix@gnu.org; Tue, 30 Jul 2019 20:23:54 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hscPD-00021a-SP for help-guix@gnu.org; Tue, 30 Jul 2019 20:23:50 -0400 Received: from mail-eopbgr760138.outbound.protection.outlook.com ([40.107.76.138]:15426 helo=NAM02-CY1-obe.outbound.protection.outlook.com) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hscPA-0001yD-7O for help-guix@gnu.org; Tue, 30 Jul 2019 20:23:45 -0400 In-Reply-To: Content-Language: es-CL 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: Vagrant Cascadian Cc: "help-guix@gnu.org" I got it to boot! I reinstalled using the exact same configuration BUT I didn't use encrypted= LVM (it must have been the libreboot problem I said earlier, gonna try aft= er installing it), that actually made the guided partitioning define me a s= wap, something the encrypted one didn't do, why's that? And also, the wacom= integrated screen doesn't work, I installed xf86-input-wacom but on Gnome = Control Center it shows "no tablet/stylus detected". Do I have to configure= or install something more? Byron El=EDas Molina Hermosilla, Software Engineering Student, INACAP Renca, Chile. ________________________________ De: BYRON ELIAS MOLINA HERMOSILLA Enviado: martes, 30 de julio de 2019 18:53:45 Para: Vagrant Cascadian Cc: help-guix@gnu.org Asunto: Re: Help Installing GuixSD on ThinkPad X60 tablet Hi Vagrant! That seems logical, but I'm really sure I typed the correct passphrase and = yes, it only asked me those 2 times, I admit, I typed it incorrectly a coup= le times, but when I did it told me it was incorrect, and asked me the same= passphrase again. I used the guix-system-install-1.0.1.i686-linux iso, verified the authentic= ity of the image and got: gpg: assuming signed data in 'guix-system-install-1.0.1.i686-linux.iso.xz' gpg: Signature made Sun 19 May 2019 04:47:37 PM EDT gpg: using RSA key 3CE464558A84FDC69DB40CFB090B11993D9AEBB5 gpg: Good signature from "Ludovic Court=E8s " [unknown] gpg: aka "Ludovic Court=E8s " [unknown] gpg: aka "Ludovic Court=E8s (Inria) " [unknown] gpg: WARNING: This key is not certified with a trusted signature! gpg: There is no indication that the signature belongs to the owne= r. Primary key fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 And the system configuration (which I had to write down on hand so beware i= f you find any syntactic or semantic errors, I reviewed several times but, = in case): (use-modules (gnu)) (use-service-modules desktop networking ssh xorg) (operating-system (locale "en_US.utf8") (timezone "America/Santiago") (keyboard-layout (keyboard-layout "us" "alt-intl")) (bootloader (bootloader-configuration (bootloader grub-bootloader) (target "/dev/sda") (keyboard-layout keyboard-layout))) (mapped-devices (list (mapped-device (source (uuid "xxxx")) (target "cryptroot") (type luks-device-mapping)) (mapped-device (source (uuid "yyyy")) (target "crypthome") (type luks-device-mapping)))) (file-systems (cons* (file-system (mount-point "/") (device "/dev/mapper/cryptroot") (type "ext4") (dependencies mapped-devices)) (file-system (mount-point "/home") (device "/dev/mapper/crypthome") (type "ext4") (dependencies mapped-devices)) %base-file-systems)) (host-name "my-hostname") (users (cons* (user-account (name "my-user") (comment "my-full-name") (group "users") (home-directory "/home/my-user") (supplementary-groups '("wheel" "netdev" "audio" "video"))) %base-user-accounts)) (packages (append (list (specification->package "i3-wm") (specification->package "nss-certs")) %base-packages)) (services (append (list (service gnome-desktop-service-type) (service tor-service-type) (set xorg-configuration (xorg-configuration (keyboard-layout keyboard-layout)))) %desktop-services))) I also saw in the web that only libreboot could see an encrypted /boot, not= the case for the proprietary BIOS, is that true? Maybe that should be the = reason it sent me to a Guile REPL? Thanks for contacting me! Byron El=EDas Molina Hermosilla, Software Engineering Student, INACAP Renca, Chile. ________________________________ De: Vagrant Cascadian Enviado: martes, 30 de julio de 2019 13:38:43 Para: BYRON ELIAS MOLINA HERMOSILLA Cc: help-guix@gnu.org Asunto: Re: Help Installing GuixSD on ThinkPad X60 tablet On 2019-07-30, BYRON ELIAS MOLINA HERMOSILLA wrote: > I downloaded the i686 iso and flashed it to a 3.0 USB Kingston > DataTraveler with Balena Etcher, it worked fine, it booted, I followed > the graphical install, set the language and keymap, location, and > chose to use full disk with separate home partition and full > encryption, I also selected i3 and openbox as desktops and lastly > mozilla https and tor network. > It installed without errors, and asked me to reboot, after that it > asked me the / encryption passphrase, got to the grub screen, then > asked me the home passphrase, aaand... it booted to Gnu Guile! And by > typing ",help guix" it only showed me the option to switch to bournish > language! I read every single command that ",help all" showed me but > none helped, I saw also something about "repl" in the welcome message > but tried it and the command didn't work either. Typically, you need to type in the same passhrase twice for "/", once for grub and once from the initramfs to mount "/" ... are you sure you typed the right passphrases in at the right times? If you were only asked for two passphrases and got a guile prompt after the second passphrase, this would be my *guess* what happened. live well, vagrant From mboxrd@z Thu Jan 1 00:00:00 1970 From: Maxim Cournoyer Subject: Re: Help Installing GuixSD on ThinkPad X60 tablet Date: Fri, 20 Sep 2019 17:52:03 +0900 Message-ID: <87lfuj73kc.fsf@gmail.com> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:48446) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iBEeB-0007Xo-4D for help-guix@gnu.org; Fri, 20 Sep 2019 04:52:12 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iBEe9-0004jT-Rb for help-guix@gnu.org; Fri, 20 Sep 2019 04:52:10 -0400 Received: from mail-pl1-x643.google.com ([2607:f8b0:4864:20::643]:40634) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iBEe9-0004j4-Md for help-guix@gnu.org; Fri, 20 Sep 2019 04:52:09 -0400 Received: by mail-pl1-x643.google.com with SMTP id d22so2870484pll.7 for ; Fri, 20 Sep 2019 01:52:09 -0700 (PDT) In-Reply-To: (BYRON ELIAS MOLINA HERMOSILLA's message of "Tue, 30 Jul 2019 15:22:37 +0000") 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: BYRON ELIAS MOLINA HERMOSILLA Cc: "help-guix@gnu.org" Hello Byron, BYRON ELIAS MOLINA HERMOSILLA writes: > Hi! > > I'm having a problem I hope someone can help me with :( I just got a > refurbished ThinkPad X60 Tablet with 3GB RAM and a 128 SSD, and I was > reading about the free distros that are available so I could later > install libreboot and saw there was Guix, and I found it great! But > the thing is, it wouldn't work :( > > I downloaded the i686 iso and flashed it to a 3.0 USB Kingston > DataTraveler with Balena Etcher, it worked fine, it booted, I followed > the graphical install, set the language and keymap, location, and > chose to use full disk with separate home partition and full > encryption, I also selected i3 and openbox as desktops and lastly > mozilla https and tor network. > > It installed without errors, and asked me to reboot, after that it > asked me the / encryption passphrase, got to the grub screen, then > asked me the home passphrase, aaand... it booted to Gnu Guile! And by > typing ",help guix" it only showed me the option to switch to bournish > language! I read every single command that ",help all" showed me but > none helped, I saw also something about "repl" in the welcome message > but tried it and the command didn't work either. > > Then I thought maybe it was something about the greeter not being > installed so I reinstalled with Gnome and i3 but same thing, booted to > Guile, and I don't know how to boot the os itself. > > If anyone knows what I did wrong or had a similar situation, I would > gladly appreciate it, I really wanted to try out Guix :( If you need > any more information, I can provide. Thanks in advance! > > > Byron El=C3=ADas Molina Hermosilla, > > Software Engineering Student, > > INACAP Renca, Chile. Without seeing your system configuration file, I can't say much; perhaps something was messed up in the way you configured your file systems. I can only suggest you start from something which is *simple* and known to be working, such as a lightweight desktop configuration. There are examples in the user manual providing working base systems (see the section "8.1 Using the Configuration System"). HTH! Maxim