On Sun, 27 Aug 2023 12:49:22 -0400, Ken wrote in message
<ed52dcf3-3a0f-2c41-88dc-cebe34566156@???>:

> On 8/27/23 12:30, Arnt Karlsen wrote:
> > mount -vo remount,exec /tmp
>
> mount: /tmp: mount point not mounted or bad option.


..right. Try 'mount -vo remount,rw /tmp ', if that fails,
post output of 'mount -v '.

>
> 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.

..try your own version of 'umount -vlR /$device /$mountpoint ',
climbing the mountpoint tree up from your suspect mountpoints.

--
..med vennlig hilsen = with Kind Regards from Arnt Karlsen
...with a number of polar bear hunters in his ancestry...
Scenarios always come in sets of three:
best case, worst case, and just in case.