On Wed, 2022-01-26 at 17:54 +0100, Samuel Thibault wrote: > > So here the problem is that > > test ! -d /home > > says that /home is not a directory. Is there anything special about your > /home path? Perhaps show the output of > > stat /home
File: /home Size: 4096 Blocks: 8 IO Block: 8192 directory Device: 1a0h/416d Inode: 2 Links: 4 Access: (0755/drwxr-xr-x) Uid: ( 0/ root) Gid: ( 0/ root) Access: 2022-01-27 07:58:34.000000000 +0100 Modify: 2017-01-20 13:14:35.000000000 +0100 Change: 2017-01-20 13:14:35.000000000 +0100 Birth: - With similar results for the other two boxes. cat /etc/fstab: /dev/hd0s6 /home ext2 defaults 0 2 /dev/hd0s2 /home ext2 defaults 0 2 /dev/hd0s2 /home ext2 defaults 0 2 /bin/sh is linked to dash. dash 0.5.11+git20210903+057cd650a4ed-3 On all boxes the little script #! /bin/sh if test ! -d /home; then echo "/home is not a directory" else echo "/home is a directory" fi returns : /home is a directory and: file /home /home: directory Thanks!