Great catch! Shouldn't the script also take care of unmounting these > if it's the one who mounted them, though? (It makes the logic a bit > more complex, but seems like the "right" solution to me.) > > I've also added Rod explicitly to CC here, since this is really an > upstream rEFInd bug (and his opinion on it might differ from mine!). > :) > > The new refind also needs the '/' to point to ESP files (this was not the case for the buster variant).
On your question of unmounting; it depends on your point of view. Normally these partitions are already mounted so a I assumed they always need to be mounted. That's why there is an || after an attempt to mount. You could also unmount them again after using the refind-install; but then other scripts that might delete entries with efibootmgr need to mount this themselves. -- g. Marc