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édente | |||
installation:debian:manual [19/11/2023 14:47] – bernadette | installation:debian:manual [11/03/2024 22:56] (Version actuelle) – lmarquez | ||
---|---|---|---|
Ligne 81: | Ligne 81: | ||
Dans ''/ | Dans ''/ | ||
(en remplaçant 6.4.0 par le numéro de la version), | (en remplaçant 6.4.0 par le numéro de la version), | ||
- | créer un fichier '' | + | executer la commande |
- | -Xss128k | + | <code bash> |
=== Maxima === | === Maxima === |
installation/debian/manual.txt · Dernière modification : 11/03/2024 22:56 de lmarquez