Svante Signell, le jeu. 27 janv. 2022 12:08:47 +0100, a ecrit: > 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
One additional thing is that make install is run under fakeroot, so you'll have to also involve fakeroot in your tests. Samuel