diff options
author | Leo Famulari <leo@famulari.name> | 2021-04-09 20:46:34 -0400 |
---|---|---|
committer | Leo Famulari <leo@famulari.name> | 2021-04-09 20:52:24 -0400 |
commit | b685337c9453ef76e27685ced2ab6b1f31d75395 (patch) | |
tree | 5f0bf2b95caa2330cde7b4fd44471404062b2317 /doc/guix.texi | |
parent | f68bcc1bc3aa0a8d1829e2eb5d9ef256c817c17c (diff) |
doc: Quote a URL to avoid misinterpretation by the shell.
Otherwise, the shell tries to perform pattern-matching based on the "?"
character.
Reported by nij in #guix.
* doc/guix.texi (Binary Installation): Add quotes around OPENPGP-SIGNING-KEY-URL.
Diffstat (limited to 'doc/guix.texi')
-rw-r--r-- | doc/guix.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index edd91d8dd0..d4320f16e1 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -652,7 +652,7 @@ If that command fails because you do not have the required public key, then run this command to import it: @example -$ wget @value{OPENPGP-SIGNING-KEY-URL} \ +$ wget '@value{OPENPGP-SIGNING-KEY-URL}' \ -qO - | gpg --import - @end example |