Commit c96177e6 authored by sajolida's avatar sajolida

Merge remote-tracking branch 'origin/web/10621-expert-command-lines' (Closes: #10621)

parents 04d44930 180a6136
......@@ -793,7 +793,7 @@ Update the size of the ISO image in `inc/*`:
Generate the expected signature verification output:
gpg --keyid-format long --verify "${ISO_PATH}.sig" "${ISO_PATH}" 2>&1 | \
gpg --keyid-format 0xlong --verify "${ISO_PATH}.sig" "${ISO_PATH}" 2>&1 | \
sed 's/ /\&nbsp;/g;s/</\&lt;/;s/>/\&gt;/;s/$/<br\/>/g' > \
"$RELEASE_CHECKOUT/wiki/src/inc/stable_i386_gpg_signature_output.html"
......
......@@ -39,7 +39,7 @@ OpenPGP Keys</a> by <em>Riseup</em>.</p>
1. Install the Debian keyring. It contains the OpenPGP keys of all Debian developers:
sudo apt-get install debian-keyring/jessie
sudo apt install debian-keyring/jessie
1. Import the OpenPGP key of [[!wikipedia Stefano_Zacchiroli]], a former
Debian Project Leader, from the Debian keyring into your keyring:
......@@ -128,8 +128,8 @@ using the Tails signing key.
a. Debian, execute the following command to add the
backports repository to your system:
echo 'deb http://http.debian.net/debian/ jessie-backports main' | \
sudo tee /etc/apt/sources.list.d/jessie-backports.list
BACKPORTS='deb http://http.debian.net/debian/ jessie-backports main'
echo $BACKPORTS | sudo tee /etc/apt/sources.list.d/jessie-backports.list && echo "OK"
b. Ubuntu, execute the following command to add the
PPA repository to your system:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment