/gnu

GNU Guix port of Pingu DE & {sys,dot}files.

Primary LanguageSchemeGNU General Public License v3.0GPL-3.0

Robby

GNU: "GNU's Not UNIX!"

License: GPL v3

(...)

Table of Contents

Installation

Installation guide of a distribution of the GNU system, managed through the GNU Guix package manager, and completely defined and programmed in GNU Guile.

(...)

Image build

(...)

git clone "https://github.com/iwas-coder/gnu"

(...)

guix time-machine -C gnu/channels.scm -- \
     system image -t iso9660 gnu/install.scm

(...)

Disks partitioning

(...)

cfdisk /dev/nvme0n1

(...)

LABEL MOUNTPOINT PARTITION TYPE FORMAT SIZE
EFI /boot/EFI EFI System fat32 128M
BOOT /boot Linux filesystem ext4 896M
SYS / Linux filesystem ext4 REST

(...)

cfdisk /dev/nvme1n1

(...)

LABEL MOUNTPOINT PARTITION TYPE FORMAT SIZE
DATA /home/$USER/data Linux filesystem ext4 ALL

(...)

Partitions formatting

(...)

mkfs.vfat -F 32 -n EFI /dev/nvme0n1p1
mkfs.ext4 -L BOOT /dev/nvme0n1p2
mkfs.ext4 -L SYS /dev/nvme0n1p3
mkfs.ext4 -L DATA /dev/nvme1n1p1

(...)

mount -L SYS /mnt
mkdir /mnt/boot
mount -L BOOT /mnt/boot
mkdir /mnt/boot/efi
mount -L EFI /mnt/boot/efi

GNU System instantiation

(...)

git clone "https://github.com/iwas-coder/gnu"

(...)

herd start cow-store /mnt

(...)

guix system init gnu/system.scm /mnt

(...)