Was sind Datei- (oder Verzeichnis-)Namen, die mit einem „#“ beginnen?

Question

Dies scheinen spezielle Dateien zu sein, da Sie sie nicht kopieren können. Diese Dateien (und das Verzeichnis) wurden im Docker-Image mysql/mysql-server:latest gefunden. Diese Dateien sind:

-rw-r----- 1 mysql mysql 196608 12. April 17:26 #ib_16384_0.dblwr
-rw-r----- 1 mysql mysql 8585216 12. April 17:24 #ib_16384_1.dblwr
drwxr-x--- 2 mysql mysql 4096 12. April 17:24 #innodb_temp/