deploy: e8120e8

print.html

@@ -776,7 +776,7 @@ <h2 id="running-ghaf-image-for-x86-computer"><a class="header" href="#running-gh
 </code></pre>
 </li>
 <li>After the build is completed, prepare a USB boot media with the target image you built:
-<pre><code>dd if=./result/nixos.img of=/dev/&lt;YOUR_USB_DRIVE&gt; bs=32M
+<pre><code>dd if=./result/nixos.img of=/dev/&lt;YOUR_USB_DRIVE&gt; bs=32M status=progress oflag=direct
 </code></pre>
 </li>
 <li>Boot the computer from the USB media.</li>
@@ -791,7 +791,7 @@ <h2 id="running-ghaf-image-for-lenovo-x1"><a class="header" href="#running-ghaf-
 </code></pre>
 </li>
 <li>After the build is completed, prepare a USB boot media with the target image you built:
-<pre><code>dd if=./result/nixos.img of=/dev/&lt;YOUR_USB_DRIVE&gt; bs=32M
+<pre><code>dd if=./result/nixos.img of=/dev/&lt;YOUR_USB_DRIVE&gt; bs=32M status=progress oflag=direct
 </code></pre>
 </li>
 <li>Boot the computer from the USB media.</li>
@@ -847,7 +847,7 @@ <h4 id="building-and-running-ghaf-image-for-nvidia-jetson-orin-agx"><a class="he
 </code></pre>
 </li>
 <li>After the build is completed, prepare a USB boot media with the target image you built:
-<pre><code>dd if=./result/nixos.img of=/dev/&lt;YOUR_USB_DRIVE&gt; bs=32M
+<pre><code>dd if=./result/nixos.img of=/dev/&lt;YOUR_USB_DRIVE&gt; bs=32M status=progress oflag=direct
 </code></pre>
 </li>
 <li>Boot the hardware from the USB media.</li>
@@ -892,7 +892,7 @@ <h2 id="building-ghaf-image-for-nxp-imx-8qm-mek"><a class="header" href="#buildi
 <p>To build and flash the Ghaf image:</p>
 <ol>
 <li>Run the <code>nix build .#packages.aarch64-linux.imx8qm-mek-release</code> command.</li>
-<li>Prepare the USB boot media with the target HW image you built: <code>dd if=./result/nixos.img of=/dev/&lt;YOUR_USB_DRIVE&gt; bs=32M</code>.</li>
+<li>Prepare the USB boot media with the target HW image you built: <code>dd if=./result/nixos.img of=/dev/&lt;YOUR_USB_DRIVE&gt; bs=32M status=progress oflag=direct</code>.</li>
 </ol>
 </li>
 <li>
@@ -919,14 +919,14 @@ <h2 id="building-ghaf-image-for-microchip-icicle-kit"><a class="header" href="#b
 <li>
 <p>If you want to use a SD card:</p>
 <ul>
-<li>Prepare the SD card with the target HW image you built: dd if=./result/nixos.img of=/dev/&lt;YOUR_SD_DEVICE&gt; bs=32M.</li>
+<li>Prepare the SD card with the target HW image you built: <code>dd if=./result/nixos.img of=/dev/&lt;YOUR_SD_DEVICE&gt; bs=32M status=progress oflag=direct</code>.</li>
 <li>Insert an SD card into the board and switch the power on.</li>
 </ul>
 </li>
 <li>
 <p>If you want to use the onboard MMC:</p>
 <ul>
-<li>You can directly flash a NixOS image to onboard an MMC card: dd if=./result/nixos.img of=/dev/&lt;YOUR_MMC_DEVICE&gt; bs=32M.</li>
+<li>You can directly flash a NixOS image to onboard an MMC card: <code>dd if=./result/nixos.img of=/dev/&lt;YOUR_MMC_DEVICE&gt; bs=32M status=progress oflag=direct</code>.</li>
 </ul>
 </li>
 </ul>

ref_impl/build_and_run.html

@@ -224,7 +224,7 @@ <h2 id="running-ghaf-image-for-x86-computer"><a class="header" href="#running-gh
 </code></pre>
 </li>
 <li>After the build is completed, prepare a USB boot media with the target image you built:
-<pre><code>dd if=./result/nixos.img of=/dev/&lt;YOUR_USB_DRIVE&gt; bs=32M
+<pre><code>dd if=./result/nixos.img of=/dev/&lt;YOUR_USB_DRIVE&gt; bs=32M status=progress oflag=direct
 </code></pre>
 </li>
 <li>Boot the computer from the USB media.</li>
@@ -239,7 +239,7 @@ <h2 id="running-ghaf-image-for-lenovo-x1"><a class="header" href="#running-ghaf-
 </code></pre>
 </li>
 <li>After the build is completed, prepare a USB boot media with the target image you built:
-<pre><code>dd if=./result/nixos.img of=/dev/&lt;YOUR_USB_DRIVE&gt; bs=32M
+<pre><code>dd if=./result/nixos.img of=/dev/&lt;YOUR_USB_DRIVE&gt; bs=32M status=progress oflag=direct
 </code></pre>
 </li>
 <li>Boot the computer from the USB media.</li>
@@ -295,7 +295,7 @@ <h4 id="building-and-running-ghaf-image-for-nvidia-jetson-orin-agx"><a class="he
 </code></pre>
 </li>
 <li>After the build is completed, prepare a USB boot media with the target image you built:
-<pre><code>dd if=./result/nixos.img of=/dev/&lt;YOUR_USB_DRIVE&gt; bs=32M
+<pre><code>dd if=./result/nixos.img of=/dev/&lt;YOUR_USB_DRIVE&gt; bs=32M status=progress oflag=direct
 </code></pre>
 </li>
 <li>Boot the hardware from the USB media.</li>
@@ -340,7 +340,7 @@ <h2 id="building-ghaf-image-for-nxp-imx-8qm-mek"><a class="header" href="#buildi
 <p>To build and flash the Ghaf image:</p>
 <ol>
 <li>Run the <code>nix build .#packages.aarch64-linux.imx8qm-mek-release</code> command.</li>
-<li>Prepare the USB boot media with the target HW image you built: <code>dd if=./result/nixos.img of=/dev/&lt;YOUR_USB_DRIVE&gt; bs=32M</code>.</li>
+<li>Prepare the USB boot media with the target HW image you built: <code>dd if=./result/nixos.img of=/dev/&lt;YOUR_USB_DRIVE&gt; bs=32M status=progress oflag=direct</code>.</li>
 </ol>
 </li>
 <li>
@@ -367,14 +367,14 @@ <h2 id="building-ghaf-image-for-microchip-icicle-kit"><a class="header" href="#b
 <li>
 <p>If you want to use a SD card:</p>
 <ul>
-<li>Prepare the SD card with the target HW image you built: dd if=./result/nixos.img of=/dev/&lt;YOUR_SD_DEVICE&gt; bs=32M.</li>
+<li>Prepare the SD card with the target HW image you built: <code>dd if=./result/nixos.img of=/dev/&lt;YOUR_SD_DEVICE&gt; bs=32M status=progress oflag=direct</code>.</li>
 <li>Insert an SD card into the board and switch the power on.</li>
 </ul>
 </li>
 <li>
 <p>If you want to use the onboard MMC:</p>
 <ul>
-<li>You can directly flash a NixOS image to onboard an MMC card: dd if=./result/nixos.img of=/dev/&lt;YOUR_MMC_DEVICE&gt; bs=32M.</li>
+<li>You can directly flash a NixOS image to onboard an MMC card: <code>dd if=./result/nixos.img of=/dev/&lt;YOUR_MMC_DEVICE&gt; bs=32M status=progress oflag=direct</code>.</li>
 </ul>
 </li>
 </ul>