Si votre disque dur se rempli à vue d’œil et que vous ne savez pas comment faire le ménage, rmlint peut vous aider. Cet outil open source, disponible sur la plupart des distributions Linux, va vous permettre d’optimiser votre espace disque en un rien de temps.

Contrairement à d’autres outils du même genre, il se distingue par sa rapidité d’exécution en scannant vos disques en un clin d’œil pour dénicher tous les fichiers qui encombrent inutilement votre précieux espace de stockage. Au menu des fonctionnalités, rmlint est capable de détecter :

• Les fichiers dupliqués et les répertoires en double
• Les binaires non strippés (c’est-à-dire avec des symboles de débogage)
• Les liens symboliques brisés
• Les fichiers et répertoires vides
• Les fichiers avec des ID utilisateur ou groupe invalides

Mais ce n’est pas tout puisqu’il propose également un mode paranoïa pour ceux qui veulent être sûrs à 100% de ne pas supprimer de fichiers importants par erreur. Il offre également de multiples options pour s’adapter à vos besoins et peut même se limiter aux fichiers plus récents qu’une certaine date.

Pour les fans de systèmes de fichiers modernes comme btrfs, sachez que rmlint les gère comme un chef et peut tirer parti des fonctionnalités avancées de ce dernier pour vous faire gagner encore plus d’espace disque.

Pour l’installer sous Debian / Ubuntu, un petit

sudo apt install rmlint

fera l’affaire. Ensuite pour le lancer, tapez simplement la commande rmlint suivie du répertoire que vous voulez analyser. Par exemple :

rmlint /home/utilisateur/dossier-bordel

Vous pouvez ajouter des options pour affiner l’analyse, comme -o pour spécifier un format de sortie ou

--paranoid

pour activer le mode paranoïa si vous ne faites pas confiance aux hashs retournés par l’outil et que vous craignez que des fichiers non-duplicate soient supprimés.

Et voilà, en quelques secondes (ou minutes selon la taille du répertoire), rmlint vous pondra un joli rapport listant tous les fichiers qui méritent de passer à la trappe. Il ne vous restera plus qu’à les supprimer d’un coup de rm bien placé et à profiter de vos gigaoctets fraîchement libérés !

Foncez sur https://rmlint.readthedocs.io/en/latest/ pour télécharger rmlint et découvrir toutes ses options. Votre disque dur vous dira merci !

J’adore Mario Kart, ça a toujours été l’un de mes jeux préféré et j’y joue encore aujourd’hui. Bien sûr je préfère la version Super NES mais Mario Kart 8 sur la Switch est pas mal aussi. Mais saviez-vous qu’au-delà du plaisir de la course, se cache une véritable science de l’optimisation ?

Eh oui, choisir son pilote, son kart, ses roues et son parachute, ce n’est pas juste une question de style. C’est une décision cruciale qui peut faire la différence entre la victoire et la défaite. Avec des dizaines d’options pour chaque élément, chacune ayant ses propres statistiques (vitesse, accélération, etc.), les possibilités de combinaisons sont quasi-infinies.

On le sait tous, si on veut maximiser notre vitesse, le choix il est vite répondu comme dirait l’autre. C’est soit Bowser soit Wario… Mais attendez une seconde… Et l’accélération dans tout ça ? Car oui, la vitesse c’est bien, mais il faut aussi pouvoir repartir rapidement après avoir mangé une carapace bleue !

Alors, comment s’y retrouver dans cette jungle de choix ? Comment trouver le setup ultime qui vous mènera tout droit sur la plus haute marche du podium ? La réponse, mes amis, se trouve dans un concept vieux de plus d’un siècle : la frontière des possibilité de Pareto ou front de Pareto.

C’est là que le front de Pareto entre en jeu. Ce concept, inventé par l’économiste italien Vilfredo Pareto, permet d’identifier les options qui ne sont jamais dominées à la fois sur la vitesse et l’accélération. Prenez ce pauvre Koopa par exemple. Avec sa vitesse et son accélération médiocres, il est complètement dominé par Peach Chat qui a plus de vitesse à accélération égale, et par Toadette qui a plus d’accélération à vitesse égale. Désolé Koopa, mais si tu veux gagner, il va falloir céder ta place !

En identifiant tous les pilotes efficaces qui forment le front de Pareto, vous pouvez ainsi éliminer d’office les choix sous-optimaux. Mais attention, tous les points du front ne se valent pas. À vous de trouver le juste équilibre entre vitesse et accélération en fonction de votre style de jeu et de vos préférences.

Et ce n’est que la partie émergée de l’iceberg ! Car en pratique, vous devez choisir un combo complet de pilote, le châssis, les roues et le parachute. Autant dire que le nombre de possibilités explose ! Mais rassurez-vous, le front de Pareto sera toujours là pour vous guider vers les builds les plus prometteurs.

Cela nous rappelle que les compromis et l’optimisation sont possibles partout dans notre vie. Que ce soit pour choisir un resto de qualité également abordable, un job épanouissant et bien payé, ou même un système d’imposition juste et efficace ^^, nous sommes constamment confrontés à des problèmes d’optimisation multi-objectifs.

Bien sûr, si vous connaissez déjà les poids exacts que vous voulez attribuer à chaque critère, vous pouvez réduire le problème à une optimisation mono-objectif. Mais dans la vie, nos préférences sont souvent floues et incertaines. C’est là que le front de Pareto devient votre meilleur ami, en vous aidant à éliminer les options dominées et à expérimenter avec les choix efficaces pour trouver celui qui vous convient le mieux.

Alors la prochaine fois que vous lancerez une course sur Mario Kart 8, prenez le temps de réfléchir à votre stratégie d’optimisation grâce à ce site d’Antoine Mayerowitz.