bug#42057: closed ([PATCH] doc: Add progress display in 'dd' command lines.)

[GNU bug Tracking System]

Your message dated Sun, 28 Jun 2020 11:38:13 +0000
with message-id <855e2a574c258db8a4ba60c11eeb8761@waegenei.re>
and subject line Re: [bug#42057] [PATCH] doc: Add progress display in 'dd' 
command lines.
has caused the debbugs.gnu.org bug report #42057,
regarding [PATCH] doc: Add progress display in 'dd' command lines.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
42057: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=42057
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] doc: Add progress display in 'dd' command lines.
>
>
>
>
> Date: 
>
> Fri, 26 Jun 2020 12:05:44 +0200
>
>
>
>
> * doc/guix.texi (System Installation): Adjust 'dd' command line to
> display progress …
> (System Configuration): … same here.
> ---
>  doc/guix.texi | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/doc/guix.texi b/doc/guix.texi
> index af3a06724d..9a5116d5aa 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
>  
> @@ -27774,7 +27774,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
> -- 
> 2.26.2
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#42057] [PATCH] doc: Add progress display in 'dd' command lines.
>
>
>
>
> Date: 
>
> Sun, 28 Jun 2020 11:38:13 +0000
>
>
>
>
> User-agent: 
>
> Roundcube Webmail/1.3.8
>
>
>
>
> Pushed as e39b2363f5b92b9c8dfc0da7d8fbaedb1c172b46.
>
>
> --- End Message ---