paradox / handbook / 0.4

the paradox handbook

Everything paradox 0.4 does, what you type to make it do it, and an honest list of what it can't do yet.

documents aurora · 0.4 archived · superseded by 0.5 · 15 sections · offline copy ships with the first published image

This is an archived handbook. It documents paradox 0.4, which is no longer the current version, and it will not be edited again — so that anyone still running 0.4 has documentation matching the software in front of them.

01 · before you start

paradox is a Linux distribution built with the Linux From Scratch method — every package compiled from upstream source rather than pulled from another distribution's archive. There is no Debian, no Arch and no Red Hat underneath it.

As of 0.4 it installs itself, so this is the first release you can put on a machine without already owning one. new in 0.4

what you need

  • An x86_64 machine that boots UEFI. The installed system is UEFI-only for now — see the note below.
  • Secure Boot turned off — the bootloader is self-signed and firmware will refuse it otherwise
  • 2 GB of RAM to run the live image and installer. The installed console system idles well under 1 GB.
  • Around 8 GB of disk as a realistic minimum — the base system is about 3.6 GB and the EFI partition takes 1 GiB. 16 GB or more is comfortable.
  • A USB stick to write the image to

UEFI and legacy BIOS new in 0.4

Worth being precise about, because the two halves differ. The live image boots on both UEFI and legacy BIOS machines — an older BIOS-only box will start the ISO and run the installer perfectly well. The system it installs is UEFI-only. The installer writes a UEFI GRUB bootloader and nothing else, so on a BIOS-only machine you would complete an install that then refuses to boot.

Legacy BIOS installs need a 32-bit BIOS GRUB that the current build toolchain cannot produce. It is a known gap, not an oversight, and it is on the list for 0.5.

02 · installing paradox

This is the release where paradox stopped being something you cloned onto a disk by hand and became something that installs itself. new in 0.4 It has been through a real install on real hardware — burned to a USB stick, booted on a mini server, and running from that machine's own SSD afterwards.

The image is not published yet. The 0.4 ISO exists and works, but it is not available for download — hosting it is a 0.5 deliverable. What follows describes what happens when you boot it, so it is ready when the image is.

the boot menu

The image is a hybrid ISO: write it to a USB stick, boot it, and you get two choices.

  • install paradox linux — goes straight into the installer. No login, no typing, no hunting for a command.
  • try paradox live — a full live paradox environment you can poke at first

The live system runs from a compressed squashfs image with a writable overlay on top, brought up by a tiny static busybox initramfs. Changes you make while running live are held in RAM and vanish on reboot, which is the point.

booting the installer●
firmware mode: UEFI
this installs paradox linux onto a disk you choose.
nothing is written until you type YES to confirm.
ctrl-c quits safely.

press enter to begin >

the four steps

The installer is deliberately boring, in the way that anything which erases a disk should be. Four steps, and nothing is written until you type YES. Ctrl-C quits safely at any point before that.

the four steps●
◆ step 1 of 4 · target disk

  1  /dev/sda     240.0 GiB   SAMSUNG SSD

pick a disk [1-1] (q to quit): 1
… everything on /dev/sda will be erased.

◆ step 2 of 4 · identity
hostname [paradox]: host
username [pdxadmin]: user
password:
confirm :

◆ step 3 of 4 · confirm
  disk        /dev/sda  (240.0 GiB)
  layout      GPT — ESP 1 GiB (fat32) + root (ext4)
  kernel      linux-paradox 6.18.10-pdx
  bootloader  grub — UEFI (removable)
  hostname    host
  user        user (wheel/sudo), root login disabled

this erases /dev/sda.  type YES to install: YES

The confirm screen is the whole safety model: everything the installer is about to do, on one screen, before anything happens. Read the disk line twice.

step 4 — installing●
◆ step 4 of 4 · installing onto /dev/sda
  partitioning (GPT: ESP + root)…
  ✓ partitioned
  formatting…
  ✓ formatted (fat32 ESP · ext4 root)
  copying the system (this is the long part)…
  5,727,612,829  88%  181.13MB/s   0:00:30
  ✓ system copied
  ✓ live auto-login stripped
  ✓ fstab written
  ✓ bootloader installed
  ✓ identity set
  ✓ done

✓ paradox linux is installed on /dev/sda.
  remove the installer media, then reboot into paradox.

[r] reboot now   [s] drop to a shell :

one admin, no leftovers new in 0.4

Most live-image installers create your account and leave the live user sitting there with a default password. paradox doesn't. The installer renames the live account to the username you chose, so the installed system has exactly one administrator, at uid 1000, in the wheel group, with the password you set.

There is no leftover pdxadmin carrying the factory password, root login is disabled, and the live session's auto-login is stripped during the install — the installed disk always asks who you are.

what it puts down

  • GPT partitioning — a 1 GiB fat32 EFI partition and an ext4 root
  • The system copied across, then an /etc/fstab written by UUID
  • A UEFI GRUB bootloader, installed in removable mode so it boots without depending on firmware boot entries
  • A fresh machine ID, your hostname, and your single admin account

03 · the live session new in 0.4

Picking try paradox live gives you the whole system running from the USB stick, with nothing written to any disk.

It logs you in automatically as pdxadmin — no password needed to reach the shell — and the prompt tells you how to install if you change your mind:

the live shell●
pdxadmin@paradox:~$ sudo paradox-install

That one command needs no password in the live session. Anything else you run with sudo will ask, and the live account's password is the image default, paradox.

This auto-login is live-only. It is removed during installation, so an installed disk never inherits it. If you find yourself dropped at a shell with no login on a machine you installed, something has gone wrong — that is not normal behaviour.

Because the root filesystem is a RAM overlay, everything you change in a live session is gone at the next boot. Good for looking around, bad for anything you want to keep.

04 · first boot

Remove the installer media and reboot. paradox boots UEFI through GRUB, and there is no initramfs on an installed system — the kernel finds the root filesystem by PARTUUID on its command line.

The kernel is 6.18.10-pdx, built for paradox with the networking, firewall and filesystem support the system relies on. Since 0.4 it also carries a built-in framebuffer console new in 0.4, which is what fixed installed machines booting to a blank screen on UEFI hardware.

Boot is quiet by design. You will see very little before the login prompt, which is intentional rather than a sign something stalled.

tty1 — first login●
paradox linux (aurora)
Kernel 6.18.10-pdx on an x86_64 (tty1)

paradox login: pdxadmin
Password:

reality is optional

aurora · 0.4

pdxadmin@paradox:~$  

Log in with the username and password you set during the install. The system identifies itself in /etc/os-release, which reads VERSION="0.4 (aurora)" — the reliable place to check which release a machine is running.

05 · the prompt and the colours

Every colour in paradox is deliberate. The rule the theme follows: the colours that tell you who you are stay separate from the colours that tell you what a file is, so nothing is ambiguous at a glance. The hostname is blue rather than cyan specifically so it is never mistaken for a directory.

the prompt

Root and a normal user differ in exactly one way — the username colour. Yellow means you are root and should be paying attention.

who and where●
pdxadmin@paradox:~$ whoami
pdxadmin

root@paradox:~# whoami
root
  • magenta username — a normal user
  • yellow username — root
  • gray — the separator
  • blue — the hostname
  • white — where you are

file listings

ls is aliased to always use colour. The palette is the "aurora spectrum":

  • cyan — directories
  • teal — symlinks
  • green — executables
  • amber — archives and compressed files
  • pink — images
  • orange — audio
  • violet — video
  • gold — code and config
a listing●
root@paradox:~# ls
script.sh   test_folder   test.txt   backup.tar.xz   wallpaper.png

the login banner

The MOTD is the wordmark, a divider, and the wordmark reflected and dimmed beneath it — which way is up. The banner is bright cyan and its reflection a dimmer cyan, reality is optional sits below in yellow, and the release line reads aurora in magenta beside the version in white.

grep and nano

Search matches highlight in magenta. nano is themed to match — cyan title bar with white text, cyan line numbers, bright cyan shortcut keys — and comes configured with line numbers, syntax highlighting, soft wrap, auto-indent, and 4-space tabs that insert spaces.

one thing to know about colour

The Linux text console can only display 16 colours. The prompt and banner are written in 16-colour codes so they are exact, but the file listing palette uses 256-colour codes and will look approximate on the console. Over SSH or in a graphical terminal you see the real thing.

06 · users and sudo

An installed 0.4 system has one administrator — the account you named during the install, at uid 1000, in the wheel group, which is what grants sudo. new in 0.4

Root exists but root login is disabled. Administrative work goes through sudo, which asks for your password each time.

who you are●
user@host:~$ id
uid=1000(user) gid=1000(user)
groups=1000(user),97(wheel)

The paradox- tools are run as your normal user — they ask for your password themselves at the point they need it, rather than requiring you to remember a prefix.

If you are running a live session rather than an installed system, the account is pdxadmin with the password paradox. That account does not survive the install.

07 · getting online

Wi-Fi works. This is the headline of 0.3 and the thing that changes what paradox can be installed on — a laptop with no ethernet port is no longer a dead end.

Two commands cover almost everything. Both are run as your normal user, both figure out the hardware themselves, and both ask for your password only when they are about to change something.

paradox-wifi

Run it with no arguments and it scans, lists what it found, and connects to whichever you pick. A network marked psk asks for its passphrase — typed blind, nothing echoes back. Networks marked open connect straight away.

Once you have joined a network it is saved, so it reconnects on its own after a reboot and will not ask again.

connecting to Wi-Fi●
pdxadmin@paradox:~$ paradox-wifi
↻ paradox-wifi scanning the airwaves on wlan0…

  1  aurora-5G            psk    ●●●●  (connected)
  2  aurora               psk    ●●●●
  3  nebula-guest         psk    ●●●
  4  quasar_lab           open   ●●●
  5  pulsar-2G            psk    ●●
  6  corona_house         psk    ●●

pick a network [1-6]  (q to quit): 3
↻ paradox-wifi connecting to nebula-guest…
Passphrase for nebula-guest: (hidden)
✓ connected to nebula-guest

radio    wlan0
state    connected
network  nebula-guest
ip       192.168.10.36/24

The other things it does:

  • paradox-wifi status — radio, state, network and address
  • paradox-wifi --disconnect — drop the current connection but keep the network saved, so it reconnects next boot
  • paradox-wifi --forget-networks — erase every saved network, so the machine stops connecting on its own

Underneath it is iwd, which runs its own DHCP client — there is no separate DHCP daemon to configure or fight with.

paradox-wired

Wired ethernet uses DHCP out of the box and needs no attention. When you want a fixed address — which on a machine running SSH you usually do — paradox-wired walks through it and writes the systemd-networkd configuration for you.

setting a static address●
pdxadmin@paradox:~$ paradox-wired
  1  enp2s0        down
  2  enp3s0        up  192.168.10.107/24

pick a nic [1-2] (q to quit): 1
✎ paradox-wired static ip on enp2s0
ip address        : 192.168.10.10
subnet (24 or mask) : 24
gateway (blank=none): 192.168.10.254
dns, comma-separated: 1.1.1.1,8.8.8.8

will write /etc/systemd/network/00-paradox-enp2s0.network:
    [Match]
    Name=enp2s0

    [Network]
    Address=192.168.10.10/24
    Gateway=192.168.10.254
    DNS=1.1.1.1
    DNS=8.8.8.8

… if enp2s0 is the link you're on, this can drop
  the session — reconnect on the new address.
apply this? [y/N] y
[paradox] password for pdxadmin:
✓ applied static 192.168.10.10/24 on enp2s0
  • paradox-wired status — list the wired interfaces and their addresses
  • paradox-wired --dhcp — hand a port back to automatic addressing

Read the warning it prints before answering yes. If you are connected over the port you are reconfiguring, applying the change drops your session and you reconnect on the new address — worth thinking about before doing this remotely over the only link you have.

firmware

The base ships firmware for the common Wi-Fi families — Intel, Atheros, Realtek, Broadcom, MediaTek and Marvell — along with wired NIC blobs, Bluetooth, Intel graphics and the wireless regulatory database, so most machines get online without hunting for anything. It is about 677 MB, and it is the reason a from-scratch distribution can be plug-and-play at all.

Everything else upstream ships — AMD and Nvidia graphics, server SmartNICs, audio and SoC firmware — is available as linux-firmware-extra in the repository rather than sitting unused in every install.

08 · the firewall

paradox now comes up firewalled on every boot. The policy is default-drop on input: unless a rule allows it, incoming traffic is discarded.

What is allowed:

  • Replies to connections you started (established and related traffic)
  • Loopback — the machine talking to itself
  • ICMP, so ping and path discovery work
  • SSH on port 22

Outbound traffic is unrestricted, and forwarding is off.

checking the firewall●
pdxadmin@paradox:~$ systemctl status nftables
   Loaded: loaded (nftables.service; enabled)
   Active: active (exited)

pdxadmin@paradox:~$ sudo nft list ruleset

the part that will catch you out

Default-drop means anything you host yourself is unreachable until you say otherwise. Start a web server, a game server or a database, connect from another machine, and it will simply hang — the service is running fine, the firewall is discarding the packets before they arrive.

Rules live in /etc/nftables.conf. Add a port alongside the existing SSH line, then reload:

opening a port●
pdxadmin@paradox:~$ sudo nano /etc/nftables.conf
        tcp dport 22 accept
        tcp dport 8080 accept

# check it parses before loading
pdxadmin@paradox:~$ sudo nft -c -f /etc/nftables.conf
pdxadmin@paradox:~$ sudo systemctl restart nftables

Check the file with nft -c -f before loading it. A syntax error in a firewall you are editing over SSH is a bad way to end an evening.

09 · packages

Software is managed with paradox, a wrapper over the pacman package engine. The verbs are themed; plain synonyms work identically, and any extra arguments pass straight through.

commanddoesplain form
paradox glitch <pkg>install a packageinstall
paradox collapse <pkg>remove a package and its orphaned dependenciesremove
paradox shiftsync the database and upgrade everythingupdate / upgrade
paradox refreshrefresh the package database onlysync
paradox seek <term>search the repositorysearch
paradox info <pkg>show package details—
paradox listlist installed packages—
paradox helpprint the menu-h / --help

where packages come from

Packages are served from a self-hosted repository at repo.paradoxlinux.com, backed by Cloudflare R2. Each arrives as a .pkg.tar.zst archive with a detached GPG signature, and SigLevel = Required means an unsigned or badly signed package is refused rather than installed.

The public key is published at repo.paradoxlinux.com/paradox-linux.gpg. Verify it against the fingerprint before trusting it:

  • key id 0956915D16CAA24F
  • fingerprint D62E 8750 2D94 217B AAB7 6E21 0956 915D 16CA A24F
  • owner paradoxadmin <paradoxlinuxadmin@gmail.com>

The private key lives only on the build host and is never shipped in the system.

the catalogue

Eighteen signed packages, up from one in 0.2. Everything is built from source with its own PKGBUILD rather than repackaged from elsewhere.

installing something●
pdxadmin@paradox:~$ paradox seek tmux
paradox/tmux 3.5a-1

pdxadmin@paradox:~$ paradox glitch tmux
resolving dependencies...
Proceed with installation? [Y/n]
✓ tmux 3.5a-1 installed

Downloads now go through curl rather than pacman's own sandboxed downloader, which was unreliable on some hardware — a change you will not notice except that transfers stop hanging.

the kernel is a package now new in 0.4

linux-paradox is a signed package in the repository like anything else, which is how future kernels will be delivered.

One honest caveat. The base system is hand-built rather than pacman-tracked, so a stock 0.4 install still carries its kernel outside package management and paradox shift will not pull a new one automatically. Moving the packaged kernel onto an existing install is a deliberate manual step for now. Wiring the base kernel into package management so shift upgrades it cleanly is planned for 0.5.

The catalogue is past twenty signed packages, with the installer's dependencies — grub and dosfstools — now built and signed alongside everything else. new in 0.4

10 · what's installed

"No bloat" is only useful if you know what you actually have. This is the tour.

the toolchain

  • glibc 2.43 · gcc 15.2.0 · binutils 2.46
  • kernel 6.18.10-pdx — the custom paradox build, now a signed package new in 0.4
  • systemd as init · bash as the shell · GRUB as the bootloader

the everyday commands

  • files and text — ls, cp, mv, rm, cat, grep, sed, awk, find, sort, head, tail, cut, tr, wc and the rest of GNU coreutils
  • archives — tar, gzip, xz, bzip2, zstd
  • network — ip, ping, curl, wget, ssh and scp
  • system — systemctl, journalctl, sudo, mount, umount
  • maths and docs — bc, man-db, groff

the comfort catalogue

Everyday tools that used to be missing now build as signed packages and ship in the base:

  • tmux — keep a session alive when SSH drops
  • htop — see what is using the machine
  • less — read long output without fighting it
  • rsync — move files properly
  • git — the obvious one
  • jq — read JSON without regret

networking and security

  • iwd with ell — the Wi-Fi daemon, running its own DHCP
  • nftables — the firewall, live at every boot
  • linux-firmware — the lean networking set, about 677 MB
  • paradox-wifi and paradox-wired — the in-house network tools

the editor

nano, and only nano. vim is not installed. If you are a vi person that is the first thing you will want to change — and now that the repository has eighteen packages in it, building one is a reasonable request rather than a project.

under the package manager

  • pacman 7.1.0 with libalpm 16.0.0
  • libarchive · zstd
  • the GnuPG stack — gnupg, gpgme, libgcrypt and friends, for signature checking
  • ca-certificates — the Mozilla bundle, without which every HTTPS request fails

what is deliberately absent

No desktop, no display server, no audio stack, no printing, and no vim. Bluetooth firmware is present but nothing is configured to use it. Nothing runs that you did not start.

11 · services and logs

paradox runs systemd, so services and logs behave the way they do on any modern distribution. Only a handful of the enabled units are paradox's own choices rather than systemd defaults.

  • getty@ — the console login prompt
  • sshd — remote access, enabled by default
  • systemd-networkd — wired connections
  • systemd-resolved — DNS
  • systemd-timesyncd — clock
  • iwd — Wi-Fi
  • nftables — the firewall, loaded before networking comes up

The rest are systemd's own presets: oomd, pstore, sysext, confext, udev credentials and the journald sockets.

the usual moves●
pdxadmin@paradox:~$ systemctl status sshd
pdxadmin@paradox:~$ systemctl list-unit-files --state=enabled
pdxadmin@paradox:~$ journalctl -b -p err
pdxadmin@paradox:~$ journalctl -u iwd -f
pdxadmin@paradox:~$ sudo systemctl poweroff

12 · what doesn't work

Kept current for every release, because finding this out at eleven at night is worse than reading it now.

  • The image is not published. The 0.4 ISO exists and installs, but it is not downloadable yet. Hosting it is a 0.5 job.
  • Installed systems are UEFI-only. The live image boots on legacy BIOS, but what it installs will not. Legacy BIOS support is a 0.5 item.
  • Kernel updates are not automatic. The kernel is packaged, but paradox shift does not yet replace the base kernel on an existing install.
  • No graphical session — console only. This is the next big piece of work.
  • Secure Boot must stay off — the bootloader is self-signed.
  • No disk encryption, RAID or swap options in the installer yet. The kernel carries the support; the installer does not offer them. Planned for 0.5.
  • Audio — no sound stack is configured.
  • Bluetooth — the firmware is present, but nothing is set up to use it.
  • Printing — not configured.

13 · gotchas

Things that have actually caught someone out.

installing new in 0.4

  • Check the disk line on the confirm screen. The installer erases what you point it at. It will not offer the installer media itself, but it will happily take the wrong internal disk if you pick it.
  • A legacy-BIOS machine can run the installer and produce something that will not boot. The ISO boots on BIOS; the install it writes is UEFI-only.
  • Live changes do not survive. The live root is a RAM overlay — anything you edit while trying paradox is gone at the next boot.
  • Remove the USB stick before rebooting, or the firmware may boot the installer again instead of your new system.

networking

  • Self-hosted services are unreachable until you open a port. The firewall drops anything it was not told to allow, and a blocked port looks exactly like a broken service.
  • Reconfiguring the link you are connected over drops the connection. paradox-wired warns you before it applies.
  • A disconnected Wi-Fi network still reconnects on boot. --disconnect keeps the network saved on purpose; use --forget-networks if you want it gone.

booting

  • Root will not mount by filesystem UUID. There is no initramfs on an installed system, so the kernel command line uses root=PARTUUID=….
  • Secure Boot must be off or the firmware refuses the bootloader outright.

packages

  • Interrupting an install leaves a lock behind. Ctrl-C during a package operation leaves /var/lib/pacman/db.lck; delete it before retrying.
  • The first install after a large system update is slow, once. It stalls rebuilding the linker cache and starting the GPG agent. It is not stuck.
  • TLS fails silently without CA certificates. If /etc/ssl goes missing, downloads fail in ways that look like the network is down.

colour

  • The console and a terminal emulator do not look the same. 256-colour file listings collapse to their nearest 16-colour approximation on the text console.

14 · where things live

  • /usr/bin/paradox — the package manager wrapper
  • /usr/bin/paradox-install — the installer, on the live image new in 0.4
  • /usr/bin/paradox-info — system information
  • /usr/bin/paradox-wifi · /usr/bin/paradox-wired — the network tools
  • /etc/bashrc — the prompt, LS_COLORS, GREP_COLORS and the aliases
  • /etc/motd — the mirror banner
  • /etc/nanorc — the nano theme and behaviour
  • /etc/os-release — version and identity
  • /etc/pacman.conf — repositories and signature policy
  • /etc/nftables.conf — the firewall ruleset
  • /etc/iwd/main.conf · /var/lib/iwd/ — Wi-Fi config and saved networks
  • /etc/systemd/network/ — wired configuration; paradox-wired writes 00-paradox-<nic>.network here
  • /boot/grub/grub.cfg — the boot menu
  • /etc/ssl/certs/ca-certificates.crt — the CA bundle
  • /etc/fstab — written by the installer, root by UUID, ESP at /boot/efi

the disk

GPT with two partitions: a 1 GiB fat32 EFI system partition and an ext4 root. The kernel command line is root=PARTUUID=… ro quiet loglevel=3.

15 · version history

0.4 · aurora current

The release where paradox learned to install itself. What had been a hand-cloned disk became a bootable image with a guided installer, proven end to end on real hardware.

  • A hybrid live ISO — squashfs root with a RAM overlay, brought up by a static busybox initramfs, booting on both UEFI and legacy BIOS
  • paradox-install — a four-step guided installer that the boot menu drops you straight into
  • Single-admin identity: the live account is renamed to yours, so nothing is left behind carrying a default password
  • The kernel became a signed package, linux-paradox, with a built-in framebuffer console that fixed blank screens after install on UEFI machines
  • Groundwork in the kernel for disk encryption, software RAID and optical media
  • Over twenty signed packages, now including the installer's own dependencies

Unchanged from 0.3: the LFS base and toolchain, the partition and UUID approach, the single-wheel-admin model, systemd init, and the colour and mirror theme.

0.3 · aurora

The release where paradox learned to get online anywhere — a custom kernel, Wi-Fi end to end, a firewall at every boot, and a CPU-portable base. Read the 0.3 handbook.

0.2 · aurora

The release where the package manager became real — a live signed repository and the first package installed end-to-end. Read the 0.2 handbook.

0.1 · aurora

The first bootable state — base LFS, the console theme, and a package manager with nowhere to fetch from. Read the 0.1 handbook.

what is coming in 0.5

  • Optional LUKS disk encryption, RAID and swap in the installer
  • Legacy BIOS install support
  • Kernel updates delivered through paradox shift
  • Localization and further installer polish
  • A published ISO on a real download page
  • A larger catalogue — docker and homelab tooling

Every version → — each release, its handbook, and whether an image exists