Me las arreglé para solucionar esto usando el gnome-disks
formato de la partición ext4 en lugar de usar GParted inicialmente, y asegurando que el directorio de Dropbox se ubicara a una profundidad de 2 niveles del punto de montaje de la partición. En Ubuntu 18.04.1 LTS de 64 bits con Dropbox v60.4.107.
La historia completa:
Para empezar, creé mi ext4 dedicado con GParted, que también se utilizó para cambiar el tamaño de la partición anterior para dejar espacio para el nuevo ext4.
Luego intenté asegurarme de que mi configuración cumpliera con todo lo descrito por la respuesta de Florian , pero eso no resolvió mi problema.
Luego, después de muchos intentos de combinar diferentes soluciones, decidí borrar toda la partición y volver a formatearla en ext4 con el administrador de discos nativo de Ubuntu (simplemente llamado Disks or gnome-disks
), lo que llevó a Dropbox a aceptar la partición como ext4.
Usé la siguiente línea /etc/fstab
para montar la partición:
UUID=ext4_partition_UUID /media/dropbox ext4 defaults 0 2
(donde ext4_partition_UUID
representa el UUID encontrado con ls -l /dev/disk/by-uuid/
)
Tenga en cuenta que no especifico la user_xattr
opción aquí.
Mi carpeta de Dropbox ahora se encuentra en /media/dropbox/data/Dropbox
, pero no comprobó si la profundidad de 2 era realmente necesaria.
Parece que algo salió mal al formatear la partición ext4 con GParted en lugar del software nativo; no tengo idea de por qué o cuál sería la diferencia entre ellos. Si alguien lo sabe, me encantaría saber más al respecto.
df ${HOME}/Dropbox --output=fstype