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 [19/11/2023 14:43] – bernadette | 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 ''/ | + | Dans ''/ |
- | (en remplaçant | + | (en remplaçant |
- | créer un fichier '' | + | executer la commande |
- | -Xss128k | + | <code bash> |
=== Maxima === | === Maxima === |
installation/debian/manual.1700405034.txt.gz · Dernière modification : 19/11/2023 14:43 de bernadette