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.


Thanks,

Ken