from_home: vm: fix formating and typos

Signed-off-by: Nicolas Froger <nico@cri.epita.fr>

docs/from_home/vm/common_issues.md

@@ -16,7 +16,7 @@ Please ensure you are using VirtualBox 6.1 (you can check in
 
 ![virt-disabled](assets/vm_error_virt_disabled.png)
 
-You need to enable Vt-x or AMD-V in your BIOS.
+You need to enable VT-x or AMD-V in your BIOS.
 
 ### Cannot enable nested VT-x/AMD-V without nested-paging
 

docs/from_home/vm/virtualbox.md

@@ -6,15 +6,15 @@
 Install [VirtualBox](https://www.virtualbox.org/).
 
 On Linux you can install it with your package manager
-([Debian](https://wiki.debian.org/VirtualBox) or
-[Arch Linux](https://wiki.archlinux.org/index.php/VirtualBox)).
+([Debian](https://wiki.debian.org/VirtualBox) or [Arch
+Linux](https://wiki.archlinux.org/index.php/VirtualBox)).
 
 ### Second step
 
 Download our [VirtualBox appliance](https://static.cri.epita.fr/cri-vm.ova).
 
-Open VirtualBox and go to `File > Import Appliance` and import the file you
-just downloaded.
+Open VirtualBox and go to `File > Import Appliance` and import the file you just
+downloaded.
 
 ![appliance](assets/vm_external_1.PNG)
 
@@ -32,32 +32,24 @@ You can then click the `Import` button.
 
 ### Third step
 
-Inside Virtual Box select your newly created virtual machine and click on
-the `Start` button.
+Inside VirtualBox select your newly created virtual machine and click on the
+`Start` button.
 
 ![select](assets/vm_external_5.PNG)
 
 In the familiar PXE menu, choose the `Prepare disk` entry.
 
-Let it boot, a script will run automatically and your VM will shutdown once its
-done.
+Let it boot, a script will run automatically and your VM will shutdown once it
+is done.
 
 ![menu](assets/vm_external_6.PNG)
 
-
 ### Fourth step
 
-You can now `Start` your VM again. You can now use the PXE menu as usual to
-boot NixOS image.
-
-
-You can use the `skip-download` image to avoid downloading the image each time.
-Be wary that this image may not be up to date and then have bugs. You should re-download
-the VM every once in a while to be sure to have all the latest tools and potential bugs fixes.
-You will find more information on this in the `cri.news` newsgroup.
-
+You can `Start` your VM again. You can now use the PXE menu as usual to boot
+NixOS image.
 
 !!! warning
-    Be careful ! You should log with `epita` user and no password. Your data is in
-    `/home/epita`, this directory is kept between reboot, you will not lose files
-    each time you stop your VM.
+    Be careful ! You should log in with `epita` user and no password. Your data
+    is in `/home/epita`, this directory is kept between reboot, you will not
+    lose files each time you stop your VM.

docs/from_home/vm/vmware.md

@@ -4,17 +4,19 @@
 
 ### First step
 
-Install VMWare Workstation : [VMWare Workstation](https://www.vmware.com/products/workstation-player/workstation-player-evaluation.html)
+Install VMWare Workstation : [VMWare
+Workstation](https://www.vmware.com/products/workstation-player/workstation-player-evaluation.html)
 On Linux you can download it with your package manager
-([Debian](https://wiki.debian.org/VMware) or [Arch Linux](https://wiki.archlinux.org/index.php/VMware)).
+([Debian](https://wiki.debian.org/VMware) or [Arch
+Linux](https://wiki.archlinux.org/index.php/VMware)).
 
 ### Second step
 
 Download our [VMWare appliance](https://static.cri.epita.fr/vmware-cri-vm.zip).
-Unzip the folder in an appropriate location (you can use `unzip vmware-cri-vm.zip`).
+Unzip the folder in an appropriate location (you can use
+`unzip vmware-cri-vm.zip`).
 
 Click on `Open a Virtual Machine`.
-
 ![import](assets/vmware.png)
 
 Select the `CRI_VM` folder.
@@ -37,15 +39,10 @@ done.
 
 ### Fourth step
 
-You can now `Start` your VM again. You can now use the PXE menu as usual to
+You can `Start` your VM again. You can now use the PXE menu as usual to
 boot NixOS image.
 
-You can use the `skip-download` image to avoid downloading the image each time.
-Be wary that this image may not be up to date and then have bugs. You should re-download
-the VM every once in a while to be sure to have all the latest tools and potential bugs fixes.
-You will find more information on this in the `cri.news` newsgroup.
-
 !!! warning
-    Be careful ! You should log with `epita` user and no password. Your data is in
-    `/home/epita`, this directory is kept between reboot, you will not lose files
-    each time you stop your VM.
+    Be careful ! You should log in with `epita` user and no password. Your data
+    is in `/home/epita`, this directory is kept between reboot, you will not
+    lose files each time you stop your VM.

docs/from_home/vm/vmware_macos.md

@@ -3,7 +3,8 @@
 ## Installation
 
 ### First step
-For MacOS, install VMWare Fusion : [VMWare Fusion](https://www.vmware.com/go/downloadfusion).
+For MacOS, install VMWare Fusion : [VMWare
+Fusion](https://www.vmware.com/go/downloadfusion).
 
 ### Second step
 Download the iso file [ISO](https://static.cri.epita.fr/cri-vm.iso).
@@ -30,7 +31,7 @@ Go to `Machine Virtuelle` > `Paramètres`.
 Then edit `Processeurs et mémoires`.
 ![import2](assets/macos_configure_2.png)
 
-Put (at least) 4096MB of memory. If you can put more - if you have *enough* RAM
+Put (at least) 4096MB of memory. Put more if you can - if you have *enough* RAM
 available. (Note that 4GB will probably be the maximum on a 8GB Mac).
 ![import2](assets/macos_configure_3.png)
 
@@ -53,16 +54,11 @@ done.
 ![ipxemenu](assets/vmware_ipxe.png)
 
 ### Fourth step
-You can now `Start` your VM again. You can now use the PXE menu as usual to
+You can `Start` your VM again. You can now use the PXE menu as usual to
 boot NixOS image.
 
-You can use the `skip-download` image to avoid downloading the image each time.
-Be wary that this image may not be up to date and then have bugs. You should re-download
-the VM every once in a while to be sure to have all the latest tools and potential bugs fixes.
-You will find more information on this in the `cri.news` newsgroup.
-
 !!! warning
-    Be careful! You should log with `epita` user and no password. Your data is
-    in `/home/epita`, this directory is kept between reboot, you will not lose
-    files each time you stop your VM.
+    Be careful! You should log in with `epita` user and no password. Your data
+    is in `/home/epita`, this directory is kept between reboot, you will not
+    lose files each time you stop your VM.