O Finder diz que tem muito espaço, mas um instalador diz que o disco está cheio. A diferença é o espaço libertável: armazenamento que o macOS conta como disponível mas que ainda não libertou realmente.
O espaço libertável são dados que o macOS pode apagar por si sempre que algo precisa de espaço:
O Obter informações do Finder sobre o disco e as definições de Armazenamento incluem o espaço libertável em “disponível”. Mas algumas apps — e o comando df — só contam o espaço que está realmente livre neste momento. Um instalador que verifica o espaço livre pode recusar-se a correr mesmo que o Finder mostre o suficiente.
O DiskGarden mostra ambos: Espaço livre (realmente livre agora) e Livre + libertável (o que o macOS pode disponibilizar).
O macOS liberta o espaço libertável quando uma app o pede, por isso na maioria das vezes não precisa de fazer nada. Se uma app não arranca ou não instala porque verifica diretamente o espaço livre:
O DiskGarden é um analisador de espaço em disco grátis para Mac: mapeia cada pasta por tamanho, para que os maiores consumidores se destaquem. Sem conta, e os seus ficheiros nunca saem do Mac.