Saya berhasil memperbaikinya dengan menggunakan gnome-disks
untuk memformat partisi ext4 daripada awalnya menggunakan GParted, serta memastikan direktori Dropbox ditempatkan pada kedalaman 2 tingkat titik pemasangan partisi. Pada 64-bit Ubuntu 18.04.1 LTS dengan Dropbox v60.4.107.
Alur cerita lengkap:
Untuk mulai dengan saya membuat ext4 khusus saya dengan GParted yang juga digunakan untuk mengubah ukuran partisi lama agar memberikan ruang untuk ext4 baru.
Kemudian saya mencoba memastikan bahwa pengaturan saya memenuhi semua yang dijelaskan oleh jawaban Florian , tetapi itu tidak menyelesaikan masalah saya.
Kemudian setelah banyak mencoba menggabungkan solusi yang berbeda, saya memutuskan untuk menghapus seluruh partisi dan memformatnya menjadi ext4 dengan manajer disk asli Ubuntu (baru saja disebut Disk atau gnome-disks
) yang mengarah ke Dropbox menerima partisi sebagai ext4!
Saya menggunakan baris berikut /etc/fstab
untuk memasang partisi:
UUID=ext4_partition_UUID /media/dropbox ext4 defaults 0 2
(di mana ext4_partition_UUID
mewakili UUID ditemukan dengan ls -l /dev/disk/by-uuid/
)
Perhatikan bahwa saya tidak menentukan user_xattr
opsi di sini.
Folder Dropbox saya sekarang berada di /media/dropbox/data/Dropbox
- tetapi tidak memeriksa apakah kedalaman 2 benar-benar diperlukan.
Tampaknya ada yang salah ketika memformat partisi ext4 dengan GParted bukan perangkat lunak asli - tidak tahu mengapa atau apa perbedaan di antara mereka. Jika ada yang tahu saya akan senang belajar lebih banyak tentang hal itu.
df ${HOME}/Dropbox --output=fstype