Le 22/08/2025 à 05:58, Ralph Ronnquist via Dng a écrit :
> On Thu, Aug 21, 2025 at 10:13:29PM -0400, Hendrik Boom wrote:
>> On Thu, Aug 21, 2025 at 08:59:53PM -0500, golinux wrote:
>>> On 2025-08-21 20:40, Hendrik Boom wrote:
>>>> Does usrmerge have to happen before uprgade from desalus to excalibur?
>>>>
>>>> Or is that for the next bug upgrade after excalibur?
>>>>
>>>> I currently have separate partitions for / and for /usr.
>>>>
>>>> Will /usr still be a separate partition from / ?
>>>>
>>>> Should I repartition so that /usr has at least as much free space
>>>> as / currently has occupied space? Presumably it will have to be able
>>>> to get a copy of everything from /bin, /sbin, and /lib.
>>>>
>>>> Or should I preemtively move everything in now in the /usr
>>>> partition into a new /usr file tree within / , thereby
>>>> abolishing the separate /usr partition?
>>>>
>>>> -- hendrik
>>>>
>>> Hi Hendrik,
>>>
>>> This should answer at least some of your questions:
>>>
>>> https://www.devuan.org/os/announce/excalibur-usrmerge-announce-2024-02-20.html
>> It does.
>> But it is unclear on one thing: It says
>> * ensure there is sufficient disk space to accommodate the merge
>> but it doesn't say how to estimate the disk space that will be needed.
>>
>> I managed to figure out that usr merge involves moving stuff from
>> other places into /usr, so it's /usr that has to have enough free space.
>>
>> But I've seen enough confusion online over the past few months that
>> it should be very explcit about estimating how much space will be
>> needed where.
> A usrmerge includes moving all files in /bin, /sbin and /lib* to be
> under /usr. Therefore /usr must have space enough to accomodate that.
> At the end of usrmerge you will have symbolic links from /bin to
> /usr/bin, /sbin to /usr/sbin, etc., and the files in /bin have beein
> moved to be in /usr/bin, etc.
>
> You also need the /usr mount to be declared in /etc/fstab within the
> initrd in order to have /usr duly mounted before pivot (or switch_root
> as it's called today).
>
> Ralph.
I think you should first question why you would need to mount /usr
on a partition of its own.
You only need to care about disk space if you break down your OS
into several partitions.
I, personally, consider having /usr a mountpoint makes little
sense. For /boot, it makes sense only if you have more than one Linux
distro on your machine, or if the filesystem of / is not supported by Grub.
All these separate partitions buizness forces you to consider
carefully the space allocated to each of them. Don't forget that the
package manager maintains files on all of /, /usr, /boot, /var, and
/etc. Loosing data on any of these leaves it in a dirty state.
Having only Devuan on my computers, I lean to keep the whole OS,
with the exception of /home, on one single partition. The time when one
could loose data because of filesystem failure is gone, and, when the OS
is badly broken, it may be easier to re-install than to repair it.
-- Didier