From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alex Sassmannshausen Subject: Re: System installation from a USB stick Date: Tue, 15 Jul 2014 16:27:58 +0200 Message-ID: <87bnsq66j5.fsf@serenity.home> References: <87y4xdhgn3.fsf@gnu.org> <877g3z2w60.fsf@gnu.org> Reply-To: alex.sassmannshausen@gmail.com Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:33839) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X73iz-0002yq-Nx for guix-devel@gnu.org; Tue, 15 Jul 2014 10:29:02 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X73iu-0000PY-So for guix-devel@gnu.org; Tue, 15 Jul 2014 10:28:57 -0400 In-reply-to: <877g3z2w60.fsf@gnu.org> List-Id: "Development of GNU Guix and the GNU System distribution." 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-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: =?utf-8?Q?Ludovic_Court=C3=A8s?= Cc: guix-devel Hello, I finally got my hands on a 64bit machine and was able to try out the installation image. It worked smoothly up until network configuration (different hardware) — it was pretty exciting whilst it lasted :-) Now holding out hope for David's i686 installation image report in order to build on that experience on more available hardware. Kudos for all your hard work Ludo (and all other contributors). This is starting to get very real! Best wishes, Alex Ludovic Courtès writes: > Hello! > > I’ve uploaded a USB installation image for x86_64 for testing: > > http://www.fdn.fr/~lcourtes/software/guix/gnu-usb-install-20140629.x86_64.xz > SHA1: d36e70d25b81b734fa9558a5446fabb96489ec3b > (100 MiB) > > It works like this: > > 1. Run ‘xz -d gnu-usb-install-20140629.x86_64.xz’. > > 2. Copy it as is to a USB stick that of 1GiB or more: > dd if=gnu-usb-install-20140629.x86_64 of=/dev/sdX > where sdX is the device corresponding to the USB stick. > > Then you can boot on the USB stick. There’s a bit of documentation on > tty2, but it lacks what follows. ;-) > > To install the system, you would: > > 1. Configure the network, by running ‘dhclient eth0’ for instance. > Normally udev automatically loads device drivers (e.g., my laptop > uses e1000e for Ethernet), but since it’s a small config kernel, it > may miss drivers for your system, in which case you’re screwed. > > 2. Partition, format etc. the target drive; the image includes Parted, > fdisk, and e2fsprogs. > > 3. Write an OS configuration file, say, config.scm (the image only has > GNU Zile as the editor.) A minimal config looks like this: > > (use-modules (gnu) (gnu system grub)) > > (operating-system > (host-name "foo") > (timezone "Europe/Paris") > (locale "en_US.UTF-8") > (bootloader (grub-configuration (device "/dev/sdX"))) > (file-systems > (list (file-system > (device "/dev/sdX1") > (mount-point "/") > (type "ext4"))))) > > 4. Mount the target root file system as /mnt, say. > > 5. Run ‘guix system init config.scm /mnt’ (add ‘--no-grub’ if you > don’t want to install GRUB.) > > 6. Unmount /mnt, reboot, and cross fingers. > > There are various limitations, so be indulgent. Notably, the kernel has > few drivers. The image is insanely big due to > . Swap partitions, dm-crypt’d devices aren’t > supported yet. > > Still, I would very much like feedback about actual attempts to use > that, about the general procedure, or anything else. > > The image was built with > > guix system disk-image gnu/system/install.scm --image-size=800MiB > > as of commit 1ddbd9f. > > Ludo’.