Consegui corrigir isso usando gnome-disks
para formatar a partição ext4 em vez de usar inicialmente GParted, além de garantir que o diretório do Dropbox fosse colocado a uma profundidade de dois níveis do ponto de montagem da partição. No Ubuntu 18.04.1 LTS de 64 bits com o Dropbox v60.4.107.
A história completa:
Para começar, criei meu ext4 dedicado com o GParted, que também foi usado para redimensionar a partição antiga para dar espaço ao novo ext4.
Depois, tentei garantir que minha instalação cumprisse tudo descrito pela resposta de Florian , mas isso não resolveu o meu problema.
Depois de muitas tentativas de combinar soluções diferentes, decidi apagar toda a partição e reformatá-la para ext4 com o gerenciador de disco nativo do Ubuntu (chamado apenas Disks or gnome-disks
), levando o Dropbox a aceitar a partição como ext4!
Usei a seguinte linha /etc/fstab
para montar a partição:
UUID=ext4_partition_UUID /media/dropbox ext4 defaults 0 2
(onde ext4_partition_UUID
representa o UUID encontrado ls -l /dev/disk/by-uuid/
)
Observe que eu não especifico a user_xattr
opção aqui.
Minha pasta do Dropbox agora está localizada em /media/dropbox/data/Dropbox
- mas não verificou se a profundidade de 2 era realmente necessária.
Parece que algo deu errado ao formatar a partição ext4 com GParted em vez do software nativo - não faço ideia do porquê ou qual seria a diferença entre eles. Se alguém souber eu ficaria feliz em aprender mais sobre isso.
df ${HOME}/Dropbox --output=fstype