Vous avez 100 Go de libre, mais fonctionnellement, vous avez 250 Go de libre.
Ça vous semble bizarre ? Bienvenue à Time Machine.
Time Machine est un drôle de canard. C'est le système de sauvegarde et de gestion des versions intégré au Mac. Time Machine crée un historique des versions des anciens fichiers lorsque votre disque dur de sauvegarde n'est pas connecté. Il appelle ce cache le "snapshot local". Il sera déversé sur votre disque de sauvegarde la prochaine fois que vous le connecterez.
L'outil df en ligne de commande ne connaît pas Time Machine. Il signale un espace totalement libre, non alloué.
Cependant, macOS considère que l'instantané local est consommable. Si vous avez besoin de plus d'espace disque, l'instantané local est jeté par-dessus bord comme un passager de troisième classe sur un canot de sauvetage du Titanic.
Donc df a raison de dire qu'en ce moment, votre disque dur a 100 Go qui ne sont pas alloués.
Et l'interface graphique a raison de dire qu'en ce moment, si vous avez besoin de sauvegarder 250 Go de données, vous le pouvez. L'instantané local de 150 Go sera effacé silencieusement et de manière transparente au moment où vous aurez besoin de cet espace pour quelque chose.
Les systèmes d'exploitation modernes sont compliqués.