Bonjour à tous,
Je suis sous Linux (Ubuntu 21.04/x86-64 ou Debian Testing), navigateur Web firefox 88.
Pour le projet RefPerSys <http://refpersys.org/> (un système d'IA symbolique libre, voir le site refpersys.org <http://refpersys.org/> et les exposés à la journée d'hommage à Jacques Pitrat <https://afia.asso.fr/journee-hommage-j-pitrat/> ...) j'aurais besoin d'effacer le cache du navigateur en un clic de souris.
Comment faire concrètement? Cordialement -- Basile Starynkevitch <[email protected]> (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
