On 8/27/23 12:30, Arnt Karlsen wrote: > mount -vo remount,exec /tmp
mount: /tmp: mount point not mounted or bad option.
I think the issue, as I speculated in my original message, is that
in this particular case /tmp is not on its' own file system, but is
mounted as
a part of the root filesystem.
Until recently I had been mounting /tmp with a tmpfs, but for some
reason, vmware player was
always complaining about running out of space if a physical disk wasn't
used. I temporarily disabled the
mount while I work out the vmware problem. In any event, I think that
the installer/updater assuming that /tmp has its' own filesystem is
going to present problems.