Le wiki de WIMS EDU

L'association WIMS EDU a ouvert ce wiki afin de favoriser les collaborations entre utilisateurs de WIMS.

Outils pour utilisateurs

Outils du site


installation:debian:manual

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
installation:debian:manual [19/11/2023 14:47] bernadetteinstallation:debian:manual [11/03/2024 22:56] (Version actuelle) lmarquez
Ligne 81: Ligne 81:
 Dans ''/usr/share/octave/6.4.0/m/java/'' Dans ''/usr/share/octave/6.4.0/m/java/''
 (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 ''java.opts'' et écrire dedans +executer la commande 
--Xss128k+<code bash>echo -Xss128k > java.opts</code> 
  
 === Maxima === === Maxima ===
installation/debian/manual.txt · Dernière modification : 11/03/2024 22:56 de lmarquez