Deduplicate package names in installation guide

Question

Deduplicate package names in installation guide

Closed this issue 4 years ago · 7 comments

slel commented 4 years ago

This is to remove duplicate package names in lists
of packages to install from distributions.

Done by replacing | sort by | sort | uniq.

CC: @slel

Component: documentation

Author: Samuel Lelièvre

Branch/Commit: a56dc45

Reviewer: Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/33333

Answer 1 · 2022-02-13T16:27:52.000Z

Description changed:

--- 
+++ 
@@ -1,2 +1,4 @@
 This is to remove duplicate package names in lists
 of packages to install from distributions.
+
+Done by replacing `| sort` by `| sort | uniq`.

Answer 2 · 2022-02-13T16:27:52.000Z

New commits:

`a56dc45`	`33333: Deduplicate package names in install from source guide`

Answer 3 · 2022-02-13T16:27:52.000Z

Commit: a56dc45

Answer 4 · 2022-02-13T16:27:52.000Z

Author: Samuel Lelièvre

Answer 5 · 2022-02-13T16:27:52.000Z

Branch: u/slelievre/33333

Answer 6 · 2022-02-13T16:36:46.000Z

Reviewer: Matthias Koeppe

Answer 7 · 2022-02-21T21:56:01.000Z

Changed branch from u/slelievre/33333 to a56dc45