Isenção de responsabilidade: nunca usei o FileVault.
Isso surgiu nos Fóruns de discussão da Apple há cerca de um ano e meio. Pelo que entendi, a questão é que, embora haja espaço livre, os dados ainda são espaçados ao longo de toda a imagem do FileVault e precisam ser compactados antes de liberar espaço.
What you need before you start:
1) Filevaulted user account ( user
)
2) Drive Genius application by Prosoft
3) A second admin user ( user2
)
4) Three hours (depending on the Filevault‘s size)
What you need to do:
1) Log in as another admin user
2) Open „Terminal“.
3) Navigate to the user‘s folder:
cd /Users/ user
4) Change filevaulted folder‘s and subfolder‘s permissions:
sudo chown -R user.sparsebundle user2
5) Rename sparsebundle file:
mv user.sparsebundle user.dmg
6) Open user.dmg with Drive Genius.
7) Defrag mounted image.
This will take a while depending on the actual size of the sparseimage.
8) Close application and unmount image via Finder or mark mounted folder and press „cmd + E“.
9) Rename image:
mv user.dmg user.sparsebundle
10)Change permissions:
chmod -R user.sparsebundle user
11)Log out current user ( user2
).
12)Log in user
and log out to compact the Filevault‘s sparseimage.
Estou assumindo que você pode usar qualquer utilitário para desfragmentar a unidade (por exemplo, iDefrag) no lugar do Drive Genius.