NixOS Installation Guide: Difference between revisions

Line 14:

First, download a [http://nixos.org/nixos/download.html NixOS ISO image] or [[Creating a Nix OS live CD|create a custom ISO]]. Then plug in a USB stick large enough to accomodate the image. Then follow the platform instructions:

~~<ul>~~

On Linux:

*Find the right device with <code>fdisk -l</code>, let's say <code>/dev/sdb</code>.

~~<li>~~On Linux:

*Burn with: <code>cp nixos-xxx.iso /dev/sdb</code>

~~<ol>~~

~~<li>~~Find the right device with <code>fdisk -l</code>, let's say <code>/dev/sdb</code>.~~</li>~~

~~<li>~~Burn with: <code>cp nixos-xxx.iso /dev/sdb</code~~></li>~~

~~</ol~~>

{{Note|do not use /dev/sdb1 or partitions of the disk, use the whole disk /dev/sdb.}}

Line 77:

Line 72:

{{Note|For EFI support you may need to change the label of the FAT filesystem. You can do this on Linux with mlabel, and on OS X with diskutil: `sudo diskutil rename OLDNAME NIXOS_ISO`.}}

== Using syslinux ==

=== Using syslinux ===

=== Using syslinux.cfg ===

==== Using syslinux.cfg ====

If you have trouble booting from a USB drive or sdcard with Unetbootin (I just got a blinking cursor instead of a bootloader on an Asus eee 1000) the procedure described on http://knoppix.net/wiki/Bootable_USB_Key should work. After preparing the sdcard with mkdiskimage and syslinux you can mount it and copy all the content from the NixOS iso:

Line 122:

Line 117:

</pre>

== ~~Alternate method~~ ==

=== Using Command-line Tools ===

<ol>

@@ Line 14: / Line 14: @@
 First, download a [http://nixos.org/nixos/download.html NixOS ISO image] or [[Creating a Nix OS live CD|create a custom ISO]]. Then plug in a USB stick large enough to accomodate the image. Then follow the platform instructions:
-<ul>
+On Linux:
+*Find the right device with <code>fdisk -l</code>, let's say <code>/dev/sdb</code>.
-<li>On Linux:
+*Burn with: <code>cp nixos-xxx.iso /dev/sdb</code>
-<ol>
-<li>Find the right device with <code>fdisk -l</code>, let's say <code>/dev/sdb</code>.</li>
-<li>Burn with: <code>cp nixos-xxx.iso /dev/sdb</code></li>
-</ol>
 {{Note|do not use /dev/sdb1 or partitions of the disk, use the whole disk /dev/sdb.}}
@@ Line 77: / Line 72: @@
 {{Note|For EFI support you may need to change the label of the FAT filesystem. You can do this on Linux with mlabel, and on OS X with diskutil: `sudo diskutil rename OLDNAME NIXOS_ISO`.}}
-== Using syslinux ==
+=== Using syslinux ===
-=== Using syslinux.cfg ===
+==== Using syslinux.cfg ====
 If you have trouble booting from a USB drive or sdcard with Unetbootin (I just got a blinking cursor instead of a bootloader on an Asus eee 1000) the procedure described on http://knoppix.net/wiki/Bootable_USB_Key should work. After preparing the sdcard with mkdiskimage and syslinux you can mount it and copy all the content from the NixOS iso:
@@ Line 122: / Line 117: @@
 </pre>
-== Alternate method ==
+=== Using Command-line Tools ===
 <ol>