nixos: nixos/doc/manual/installation/installing-virtualbox-guest.xml to CommonMark

3 files changed, 60 insertions, 104 deletions

diff --git a/nixos/doc/manual/installation/installing-virtualbox-guest.section.md b/nixos/doc/manual/installation/installing-virtualbox-guest.section.md
new file mode 100644
index 000000000000..e9c2a621c1bb
--- /dev/null
+++ b/nixos/doc/manual/installation/installing-virtualbox-guest.section.md
@@ -0,0 +1,59 @@
+# Installing in a VirtualBox guest {#sec-instaling-virtualbox-guest}
+
+Installing NixOS into a VirtualBox guest is convenient for users who
+want to try NixOS without installing it on bare metal. If you want to
+use a pre-made VirtualBox appliance, it is available at [the downloads
+page](https://nixos.org/nixos/download.html). If you want to set up a
+VirtualBox guest manually, follow these instructions:
+
+1.  Add a New Machine in VirtualBox with OS Type \"Linux / Other Linux\"
+
+1.  Base Memory Size: 768 MB or higher.
+
+1.  New Hard Disk of 8 GB or higher.
+
+1.  Mount the CD-ROM with the NixOS ISO (by clicking on CD/DVD-ROM)
+
+1.  Click on Settings / System / Processor and enable PAE/NX
+
+1.  Click on Settings / System / Acceleration and enable \"VT-x/AMD-V\"
+    acceleration
+
+1.  Click on Settings / Display / Screen and select VMSVGA as Graphics
+    Controller
+
+1.  Save the settings, start the virtual machine, and continue
+    installation like normal
+
+There are a few modifications you should make in configuration.nix.
+Enable booting:
+
+```nix
+boot.loader.grub.device = "/dev/sda";
+```
+
+Also remove the fsck that runs at startup. It will always fail to run,
+stopping your boot until you press `*`.
+
+```nix
+boot.initrd.checkJournalingFS = false;
+```
+
+Shared folders can be given a name and a path in the host system in the
+VirtualBox settings (Machine / Settings / Shared Folders, then click on
+the \"Add\" icon). Add the following to the
+`/etc/nixos/configuration.nix` to auto-mount them. If you do not add
+`"nofail"`, the system will not boot properly.
+
+```nix
+{ config, pkgs, ...} :
+{
+  fileSystems."/virtualboxshare" = {
+    fsType = "vboxsf";
+    device = "nameofthesharedfolder";
+    options = [ "rw" "nofail" ];
+  };
+}
+```
+
+The folder will be available directly under the root directory.
diff --git a/nixos/doc/manual/installation/installing-virtualbox-guest.xml b/nixos/doc/manual/installation/installing-virtualbox-guest.xml
deleted file mode 100644
index 019e5098a8e2..000000000000
--- a/nixos/doc/manual/installation/installing-virtualbox-guest.xml
+++ /dev/null
@@ -1,103 +0,0 @@
-<section xmlns="http://docbook.org/ns/docbook"
-         xmlns:xlink="http://www.w3.org/1999/xlink"
-         xmlns:xi="http://www.w3.org/2001/XInclude"
-         version="5.0"
-         xml:id="sec-instaling-virtualbox-guest">
- <title>Installing in a VirtualBox guest</title>
-
- <para>
-  Installing NixOS into a VirtualBox guest is convenient for users who want to
-  try NixOS without installing it on bare metal. If you want to use a pre-made
-  VirtualBox appliance, it is available at
-  <link
-  xlink:href="https://nixos.org/nixos/download.html">the downloads
-  page</link>. If you want to set up a VirtualBox guest manually, follow these
-  instructions:
- </para>
-
- <orderedlist>
-  <listitem>
-   <para>
-    Add a New Machine in VirtualBox with OS Type "Linux / Other Linux"
-   </para>
-  </listitem>
-  <listitem>
-   <para>
-    Base Memory Size: 768 MB or higher.
-   </para>
-  </listitem>
-  <listitem>
-   <para>
-    New Hard Disk of 8 GB or higher.
-   </para>
-  </listitem>
-  <listitem>
-   <para>
-    Mount the CD-ROM with the NixOS ISO (by clicking on CD/DVD-ROM)
-   </para>
-  </listitem>
-  <listitem>
-   <para>
-    Click on Settings / System / Processor and enable PAE/NX
-   </para>
-  </listitem>
-  <listitem>
-   <para>
-    Click on Settings / System / Acceleration and enable "VT-x/AMD-V"
-    acceleration
-   </para>
-  </listitem>
-  <listitem>
-   <para>
-    Click on Settings / Display / Screen and select VMSVGA as Graphics Controller
-   </para>
-  </listitem>
-  <listitem>
-   <para>
-    Save the settings, start the virtual machine, and continue installation
-    like normal
-   </para>
-  </listitem>
- </orderedlist>
-
- <para>
-  There are a few modifications you should make in configuration.nix. Enable
-  booting:
- </para>
-
-<programlisting>
-<xref linkend="opt-boot.loader.grub.device"/> = "/dev/sda";
-</programlisting>
-
- <para>
-  Also remove the fsck that runs at startup. It will always fail to run,
-  stopping your boot until you press <literal>*</literal>.
- </para>
-
-<programlisting>
-<xref linkend="opt-boot.initrd.checkJournalingFS"/> = false;
-</programlisting>
-
- <para>
-  Shared folders can be given a name and a path in the host system in the
-  VirtualBox settings (Machine / Settings / Shared Folders, then click on the
-  "Add" icon). Add the following to the
-  <literal>/etc/nixos/configuration.nix</literal> to auto-mount them. If you do
-  not add <literal>"nofail"</literal>, the system will not boot properly.
- </para>
-
-<programlisting>
-{ config, pkgs, ...} :
-{
-  fileSystems."/virtualboxshare" = {
-    fsType = "vboxsf";
-    device = "nameofthesharedfolder";
-    options = [ "rw" "nofail" ];
-  };
-}
-</programlisting>
-
- <para>
-  The folder will be available directly under the root directory.
- </para>
-</section>
diff --git a/nixos/doc/manual/installation/installing.xml b/nixos/doc/manual/installation/installing.xml
index 6bfe9ebcad67..55375469447f 100644
--- a/nixos/doc/manual/installation/installing.xml
+++ b/nixos/doc/manual/installation/installing.xml
@@ -570,7 +570,7 @@ Retype new UNIX password: ***</screen>
 
   <xi:include href="../from_md/installation/installing-pxe.section.xml" />
 
-  <xi:include href="installing-virtualbox-guest.xml" />
+  <xi:include href="../from_md/installation/installing-virtualbox-guest.section.xml" />
 
   <xi:include href="installing-from-other-distro.xml" />