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:debian_upgrade

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:debian_upgrade [19/11/2023 14:39] – [Message pour les administrateurs de classes] bernadetteinstallation:debian:debian_upgrade [19/11/2023 14:40] (Version actuelle) – [Message pour les administrateurs de classes] bernadette
Ligne 93: Ligne 93:
  
 Il vous suffit de : Il vous suffit de :
-  * soit supprimer ou renommer le fichier "manager_msg.phtml.LANG" dans le répertoire “log/”.+  * soit supprimer ou renommer le fichier "manager_msg.phtml.LANG" dans le répertoire “log/”;
   * soit modifier le contenu de celui-ci, par exemple pour annoncer que la maintenance a bien eu lieu, et que les utilisateurs doivent vider le cache de leur navigateur pour en profiter pleinement.   * soit modifier le contenu de celui-ci, par exemple pour annoncer que la maintenance a bien eu lieu, et que les utilisateurs doivent vider le cache de leur navigateur pour en profiter pleinement.
  
installation/debian/debian_upgrade.txt · Dernière modification : 19/11/2023 14:40 de bernadette