Note: "permalinks" may not be as permanent as we would like,
direct links of old sources may well be a few messages off.
Christophe Mailhebuau wrote: >>Is /opt already mounted? >> > > > Yes it is. > > I don't understand. > You can't remount /opt. You need to unmount it, or create a new mount point. I created another mount point called /ha, then created symlinks where necessary..