Walkmanでディレクトリ名を変更できないのはなぜですか?

Walkmanでディレクトリ名を変更できないのはなぜですか?
$ lsblk -o+FSTYPE /dev/sdc1
NAME MAJ:MIN RM  SIZE RO TYPE MOUNTPOINT     FSTYPE
sdc1   8:33   1  3.7G  0 part /mnt/bart_sdc1 vfat
$ cd /mnt/bart_sdc1
$ file dvorak-walzes
dvorak-walzes: directory
$ ls -dl dvorak-walzes
drwxrwxr-x 2 bart wheel 16384 Oct 23 14:03 dvorak-walzes
$ ls -dl .
drwxrwxr-x 13 bart wheel 32768 Jan  1  1970 .
$ mv /mnt/bart_sdc1/{d,D}vorak-walzes
mv: cannot move '/mnt/bart_sdc1/dvorak-walzes' to a subdirectory of itself,
'/mnt/bart_sdc1/Dvorak-walzes/dvorak-walzes'
$ type mv
mv is /usr/bin/mv
$ uname -rsv
Linux 5.3.7-arch1-1-ARCH #1 SMP PREEMPT Fri Oct 18 00:17:03 UTC 2019

答え1

FATファイルシステム(ドライバ)は次のとおりです。敏感ではない、これはdvorak-walzes同じ意味Dvorak-walzesなので、次のような苦情を受け取りますmv

mv: '/mnt/bart_sdc1/dvorak-walzes' を独自のサブディレクトリに移動できません。

~の一部LinuxカーネルVFATドキュメント説明する:

check=s|r|n   -- Case sensitivity checking setting.
                 s: strict, case sensitive
                 r: relaxed, case insensitive
                 n: normal, default setting, currently case insensitive

関連情報