From mboxrd@z Thu Jan 1 00:00:00 1970 From: Matthew Jordan Subject: Re: feedback as solicited by Guix manual (Section 7.1.5) Date: Tue, 31 May 2016 12:31:16 -0400 Message-ID: <87oa7mxk8b.fsf@mailerver.i-did-not-set--mail-host-address--so-tickle-me> References: <574B8D1E.6080000@ethan-stefan.net> <20160531155854.GA27525@jasmine> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:36057) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1b7mal-0003Pz-J9 for guix-devel@gnu.org; Tue, 31 May 2016 12:32:33 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1b7mah-0002Fc-QP for guix-devel@gnu.org; Tue, 31 May 2016 12:32:30 -0400 Received: from forward2j.cmail.yandex.net ([5.255.227.20]:53161) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1b7mag-0002EP-9g for guix-devel@gnu.org; Tue, 31 May 2016 12:32:27 -0400 In-reply-to: <20160531155854.GA27525@jasmine> 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" To: Leo Famulari Cc: guix-devel@gnu.org Good Day Leo Famulari and everyone, Since this topic came up I just thought I provide some info and ask some questions too. What follows are the steps I took to setup my GuixSD box. What I'm wondering is how would I go about contributing this in some way to the documentation? With some modification of course. I copied these from my raw notes, I made when was first setting up GuixSD. I also have a snippet somewhere about setting up a Libvirt Qemu VM too. I am just presenting this cause I had to look around a lot, such as the Gentoo Installation Manual, and Arch Linux manuals in addition to the Parted and Guix Manuals when I attempted my first install. Just thought it would be a good idea to perhaps have some solid example/steps in the Guix Manual for the installation. ================================================================================ $ ip link show $ ip link set ens3 up $ dhclient -v ens3 $ ping -c 4 gnu.org Paritioning plan Assumming disk is 20GiB Bootloader 2MiB /boot 300MiB ext2/4 Swap 1GiB / (rest of disk space) ext4 $ lsblk Start parted shell $ parted -a optimal /dev/sda (parted) unit MiB (parted) mklabel gpt (parted) mkpart primary 1MiB 3MiB (parted) name 1 grub (parted) set 1 bios_grub on (parted) print (parted) mkpart primary 3MiB 303MiB (parted) name 2 boot (parted) print Calculation on host with zsh shell $ ((mib = 1 * (1024 ** 1))) $ print ${mib} 1024 $ print $((mib + 303)) 1327 (parted) mkpart primary 303MiB 1327MiB (parted) name 3 swap (parted) print (parted) mkpart primary 1327MiB -1 (parted) name 4 root (parted) set 2 boot on (parted) print (parted) quit $ lsblk $ mkfs.ext4 /dev/sda2 $ mkswap /dev/sda3 $ mkfs.ext4 /dev/sda4 $ lsblk -f $ lsblk $ mount /dev/sda4 /mnt $ mkdir /mnt/boot $ mount /dev/sda2 /mnt/boot $ df -hT $ herd start cow-store /mnt $ mkdir /mnt/etc $ ls /etc/configuration # optional $ cp /etc/configuration/bare-bones.scm /mnt/etc/config.scm $ zile /mnt/etc/config.scm $ mount --bind /mnt/tmp /tmp $ swapon /dev/sda3 $ guix system init /mnt/etc/config.scm /mnt $ umount /tmp $ swapoff /dev/sd3 $ shutdown ================================================================================ Cheers, -- Matthew Jordan Sent with my mu4e Leo Famulari writes: > On Sun, May 29, 2016 at 08:45:18PM -0400, Ethan Stefan Day wrote: >> Hello, >> >> I just got finished setting up GuixSD on one of these >> , to >> use as a fun/hacking box. I hit a bump with partitioning the drive, but >> managed to figure it out. The Guix manual refers to the Parted manual >> for an overview of partitioning, but the Parted manual no longer >> provides that and instead references some other manual without providing >> a link. It was rather comical: > > I found some instructions in the Parted manual, specifically in section > 2: Using Parted. If that wasn't helpful, do you think we should link to > manuals for fdisk or cfdisk also or instead? > >> >> "Error, no bios_grub partition. Grub not installed." >> "Oh, well I made the root drive bootable. Lets just reboot and see what >> happens." >> ... >> "BEEP BEEP BEEP BEEP BEEP BEEP BEEP BEEP..." >> >> I am running Gnome, and aside from video tearing and Icecat not >> appearing in the activities view, things seem to be working fine. I'll >> be looking for ways to contribute once I have a better understanding of >> the system. Thanks for putting this together, and a particular thanks >> to whoever packaged GHC (I have read that bootstrapping it can be tricky). >> >> -Ethan Day >>