installation:debian:manual
Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
installation:debian:manual [18/09/2023 20:29] – [2. Installer les logiciels tiers recommandés] lmarquez | installation:debian:manual [11/03/2024 22:56] (Version actuelle) – lmarquez | ||
---|---|---|---|
Ligne 79: | Ligne 79: | ||
Pour qu' | Pour qu' | ||
<code bash>pkg load statistics</ | <code bash>pkg load statistics</ | ||
+ | Dans ''/ | ||
+ | (en remplaçant 6.4.0 par le numéro de la version), | ||
+ | executer la commande | ||
+ | <code bash> | ||
+ | |||
=== Maxima === | === Maxima === |
installation/debian/manual.1695068951.txt.gz · Dernière modification : 18/09/2023 20:29 de lmarquez