diff options
author | Brice Waegeneire <brice@waegenei.re> | 2020-06-26 13:54:32 +0200 |
---|---|---|
committer | Brice Waegeneire <brice@waegenei.re> | 2020-06-28 13:28:06 +0200 |
commit | e39b2363f5b92b9c8dfc0da7d8fbaedb1c172b46 (patch) | |
tree | c6d6854f83787a16cea55f10fc0b8229f5633961 /doc/guix.texi | |
parent | f8945734a5abff69644284231cc47fb67456657b (diff) | |
download | guix-e39b2363f5b92b9c8dfc0da7d8fbaedb1c172b46.tar.gz |
doc: Add progress display in 'dd' command lines.
* doc/guix.texi (System Installation): Adjust 'dd' command line to display progress … (System Configuration): … same here.
Diffstat (limited to 'doc/guix.texi')
-rw-r--r-- | doc/guix.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index ffc77cbb8b..a4c409ea12 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -1978,7 +1978,7 @@ its device name. Assuming that the USB stick is known as @file{/dev/sdX}, copy the image with: @example -dd if=guix-system-install-@value{VERSION}.x86_64-linux.iso of=/dev/sdX +dd if=guix-system-install-@value{VERSION}.x86_64-linux.iso of=/dev/sdX status=progress sync @end example @@ -27665,7 +27665,7 @@ the device corresponding to a USB stick, one can copy the image to it using the following command: @example -# dd if=$(guix system disk-image my-os.scm) of=/dev/sdc +# dd if=$(guix system disk-image my-os.scm) of=/dev/sdc status=progress @end example When using @code{docker-image}, a Docker image is produced. Guix builds |