Salut Basile, J'utilise l'extension « Clear Cache » pour cela. S Le 02-06-2021, à 07:48:32 +0200, Basile Starynkevitch a écrit :
Bonjour à tous, Je suis sous Linux (Ubuntu 21.04/x86-64 ou Debian Testing), navigateur Web firefox 88. Pour le projet [1]RefPerSys (un système d'IA symbolique libre, voir le site [2]refpersys.org et les exposés à [3]la journée d'hommage à Jacques Pitrat ...) j'aurais besoin d'effacer le cache du navigateur en un clic de souris. Comment faire concrètement? Cordialement