summaryrefslogtreecommitdiff
path: root/faq
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2022-04-12 02:33:48 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2022-04-12 02:33:48 +0200
commitbcf061abf932f9adf243554c22185d323f5ff2ea (patch)
treedd8d079ffa66e8aa6f0d0b54ef07e77f8f34ce9b /faq
parent56e1abda424f1dc7bbeccfe28e05a2caa50bc6de (diff)
People should really use apt instead of apt-get nowadays
Diffstat (limited to 'faq')
-rw-r--r--faq/other_repositories.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/faq/other_repositories.mdwn b/faq/other_repositories.mdwn
index f8ece75f..a55ac1e3 100644
--- a/faq/other_repositories.mdwn
+++ b/faq/other_repositories.mdwn
@@ -11,7 +11,7 @@ License|/fdl]]."]]"""]]
[[!tag faq/debian]]
-If you want to use the `apt-get source` facility, make sure that
+If you want to use the `apt source` facility, make sure that
`/etc/apt/sources.list` contains a line like
deb-src http://ftp.de.debian.org/debian unstable main