Jürgen Hahn jrhahn

## README.md

      
              1 file
            
          
              6 forks
            
          
              10 comments
            
          
              42 stars
            
          
                matthewpi
                / README.md
            
            
              Last active
              May 13, 2024 11:25
            
              
                Nix on Fedora
              
          
    NixOS on Fedora

Please note that these instructions are not offically supported or condoned by Nix and are not guaranteed to always work, but from my testing everything seems to work perfectly fine.
These steps may not be required if NixOS/nix#2374 is resolved.
SELinux

These commands are required for both Fedora Workstation and Fedora Silverblue


## increase_root_fedora.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              1 star
            
          
                jrhahn
                / increase_root_fedora.md
            
            
              Created
              March 27, 2021 19:48
                — forked from 181192/increase_root_fedora.md
            
              
                How to increase the root partition size on Fedora
              
          
    How to increase the root partition size on Fedora

Boot up with an Fedora Live USB stick.

Run vgs to check if there's any space:

$ sudo vgs
  VG     #PV #LV #SN Attr   VSize    VFree
  fedora   1   3   0 wz--n- <237.28g    0 

  
## set-chroot.sh
$ # Use Live CD to boot
$ sudo su # Switch to root
$ fdisk -l # Get names of root, boot & EFI partition names. you can also use blkid
$ mount /dev/mapper/fedora_localhost--live-root /mnt  # mount root partition
$ cat /mnt/etc/fedora-release
Fedora release 31 (Thirty One)
$ mount /dev/nvme0n1p2 /mnt/boot  # mount boot partition
$ mount /dev/nvme0n1p1 /mnt/boot/efi  # mount EFI partition
# Note: If you are not able to mount EFI partition ('Input/Output error'),
# You may have to repair ESP file system or format ESP.
	$ # Use Live CD to boot
	$ sudo su # Switch to root
	$ fdisk -l # Get names of root, boot & EFI partition names. you can also use blkid
	$ mount /dev/mapper/fedora_localhost--live-root /mnt # mount root partition
	$ cat /mnt/etc/fedora-release
	Fedora release 31 (Thirty One)
	$ mount /dev/nvme0n1p2 /mnt/boot # mount boot partition
	$ mount /dev/nvme0n1p1 /mnt/boot/efi # mount EFI partition
	# Note: If you are not able to mount EFI partition ('Input/Output error'),
	# You may have to repair ESP file system or format ESP.