Et voilà, j'ai dû partir. Donc, j'ai réussi à supprimer searx, cependant, comme le suppose Bruno, j'ai dû commettre une belle erreur. Que fait cette commande ?
J'ai trouvé le tuto sur
https://asciimoo.github.io/searx/dev/install/installation.html
Il me semblait que ce site était sûr ?
Je suis en dual boot ubuntu/MAC os.
Depuis ma tentative d'installer searx, il ne reste plus que 9GO (au lieu de 59GO, avant manipulation) sur la partition Mac.
C'est un peu comme si la partition racine d'ubuntu et la partition /home d'ubuntu se trouvait dupliqué dans la partition Mac. Mais peut-être est-ce autre chose...
Dois-je réinstaller Ubuntu et Mac ? ....