:: Re: [DNG] /usr to merge or not to m…
Page principale
Supprimer ce message
Répondre à ce message
Auteur: Alessandro Selli
Date:  
À: dng
Sujet: Re: [DNG] /usr to merge or not to merge... that is the question
On 22/11/18 at 00:46, Svante Signell wrote:
> A historical note: The GNU/Hurd people tried to do the merge the other (and
> right) way around:



  Why are we to take for granted that that way is the right way and that
it does make sense for present-day rollouts?


[...]


> Let's bring som history into this discussion.


  History does not make IT infrastructure run smoothly.


--
Alessandro Selli <alessandroselli@???>
VOIP SIP: dhatarattha@???
Chiave firma e cifratura PGP/GPG signing and encoding key:
BA651E4050DDFC31E17384BABCE7BD1A1B0DF2AE