Quoting Didier Kryn (k...@in2p3.fr):
> Very nice. Congratulations. Do I understand well if I
> understand your scripts read the config of the Debian kernel and
> customize it to compile your own kernel?
I must beg your pardon, Didier, but I don't fully understand your
question.
In general
On Sat, 17 Nov 2018 13:25:19 -0800
Rick Moen wrote:
> Quoting Daniel Reurich::
>
> > I don't want it.
> > My view seems to coincide with Rich Moens.
>
> I'm still curious who these Rich Moens are. Perhaps a clone
> conspiracy as in Orphan Black -- or a franchise like Dread Pirate
>
Le 19/11/2018 à 19:58, Rick Moen a écrit :
Quoting Didier Kryn (k...@in2p3.fr):
Seems we agree. What I mean is that you must carefully tweak
your OS so that the package manager does not undo your settings. It
also means that you cannot use kernel updates from the distro
because you just
On Mon, 19 Nov 2018 15:51:39 -0500
Steve Litt wrote:
> On Sat, 17 Nov 2018 12:29:33 +0100 (CET)
> k...@aspodata.se wrote:
.
> > I use a classic static /dev, and the only problem I have seen is
> > with usb devices (apart from keyboards and mice i.e.).
>
> I might want to
Didier:
> Le 17/11/2018 à 16:15, k...@aspodata.se a écrit :
> > Didier:
> >> If you want to boot directly to the disk, then don't use a distro.
> > I boot directly to disk, why shouldn't I use a distro ?
> > I see no downside of using a distro, I just choose what parts I want
> > to use.
>
Steve Litt:
> On Sat, 17 Nov 2018 12:29:33 +0100 (CET)
> k...@aspodata.se wrote:
...
> > I use a classic static /dev, and the only problem I have seen is with
> > usb devices (apart from keyboards and mice i.e.).
>
> I might want to follow in your footsteps. How do you handle usb devices?
Le 17/11/2018 à 16:15, k...@aspodata.se a écrit :
Didier:
...
If you want to boot directly to the disk, then don't use a distro.
,,,
I boot directly to disk, why shouldn't I use a distro ?
I see no downside of using a distro, I just choose what parts I want
to use.
Would you be
Le 17/11/2018 à 20:51, Rick Moen a écrit :
Quoting Didier Kryn (k...@in2p3.fr):
If you want to boot directly to the disk, then don't use a distro.
I very much do not concur.
Since 1992 -- with a gap when I was lazy for a long time -- I've found
it useful to construct bespoke kernels for my
On Sun, Nov 18, 2018 at 02:29:43PM -0600, goli...@dyne.org wrote:
> On 2018-11-18 02:32, KatolaZ wrote:
> >
> > Besides the drama: we built yesterday a preliminary version of the
> > debian-installer for beowulf which has an explicit opt-in question for
> > usrmerge:
> >
> >
> >
On Sun, Nov 18, 2018 at 08:52:26PM +, Simon Hobson wrote:
> goli...@dyne.org wrote:
>
> > So . . . if the choice to avoid the merge is only available with
> > debian-installer what does that mean for the live isos? Will they be
> > configured with or without the merge as default?
>
>
On Mon, Nov 19, 2018 at 02:11:34AM +0100, Arnt Karlsen wrote:
> On Sun, 18 Nov 2018 20:52:26 +, Simon wrote in message
> <3a91e5c4-1603-40b5-b560-3f8bc8945...@thehobsons.co.uk>:
>
> > goli...@dyne.org wrote:
> >
> > > So . . . if the choice to avoid the merge is only available
> > >
On Mon, 19 Nov 2018 09:20:58 +0100, KatolaZ wrote in message
<20181119082058.dzvrnwrwy3ji5...@katolaz.homeunix.net>:
> On Mon, Nov 19, 2018 at 02:11:34AM +0100, Arnt Karlsen wrote:
> > On Sun, 18 Nov 2018 20:52:26 +, Simon wrote in message
> >
Hi KatolaZ,
KatolaZ writes:
> On Sun, Nov 18, 2018 at 04:51:43PM +0900, Olaf Meeuwissen wrote:
>
> [cut]
>
>>
>> ACK. Just like to point out that Devuan might run into packages that
>> have already moved programs that really ought to be in /bin or /sbin
>> over to /usr/bin and /usr/sbin.
>>
>>
On 11/18/18 2:28 AM, Arnt Karlsen wrote:
2. What about local compilations of various 3rd party software that
usually go to /usr/local/bin, sbin, lib, ... in case of merger will
they all go to the root filesystem? More potential trouble? Yes/No?
Tnx.
..you want these on its own disk, or at
Hi All,
in the last few days we have seen many people going at lengths with
the pros and cons of a non-merged usr. That has been a great
discussion. We have put together a solution that consists into
choosing if you want merged-usr at install time. It's available in the
current unstable
On Sa, Nov 17, 2018 at 09:14:06 +0900, Olaf Meeuwissen wrote:
The idea of grouping certain classes of files in different directories
makes it just so much easier for homo sapiens to keep a grip on things.
Well, I can remember a time when you had a /usr/X11 directory. While this
was mostly for
On 18/11/18 at 21:29, goli...@dyne.org wrote:
> On 2018-11-18 02:32, KatolaZ wrote:
>>
>> Besides the drama: we built yesterday a preliminary version of the
>> debian-installer for beowulf which has an explicit opt-in question for
>> usrmerge:
>>
>>
>>
On Mon, Nov 19, 2018 at 01:49:19PM +0100, Alessandro Selli wrote:
[cut]
>
>
> In my opinion, install CD/DVDs are one case in which the merge makes
> sense, as you inevitably have a single filesystem on the media anyway.
> This does not prevent installing an unmerged filesystem, neither
On 19/11/18c at 12:46, Stephan Seitz wrote:
> On Sa, Nov 17, 2018 at 09:14:06 +0900, Olaf Meeuwissen wrote:
>> The idea of grouping certain classes of files in different directories
>> makes it just so much easier for homo sapiens to keep a grip on things.
>
> Well, I can remember a time when you
On 19/11/18 at 13:55, KatolaZ wrote:
> On Mon, Nov 19, 2018 at 01:49:19PM +0100, Alessandro Selli wrote:
>
> [cut]
>
>>
>> In my opinion, install CD/DVDs are one case in which the merge makes
>> sense, as you inevitably have a single filesystem on the media anyway.
>> This does not prevent
On Mon, 19 Nov 2018 12:17:45 +0100, KatolaZ wrote in message
<20181119111745.jykbsqvt6gdpw...@katolaz.homeunix.net>:
> Hi All,
>
> in the last few days we have seen many people going at lengths with
> the pros and cons of a non-merged usr. That has been a great
> discussion. We have put
On Mon, Nov 19, 2018 at 03:16:29PM +0100, Arnt Karlsen wrote:
> On Mon, 19 Nov 2018 12:17:45 +0100, KatolaZ wrote in message
> <20181119111745.jykbsqvt6gdpw...@katolaz.homeunix.net>:
>
> > Hi All,
> >
> > in the last few days we have seen many people going at lengths with
> > the pros and cons
On Mon, Nov 19, 2018 at 01:49:19PM +0100, Alessandro Selli wrote:
> In my opinion, install CD/DVDs are one case in which the merge makes
> sense, as you inevitably have a single filesystem on the media anyway.
Such a merge on a single filesystem causes no problems, but has no benefits
either.
On Mon, Nov 19, 2018 at 12:17:45PM +0100, KatolaZ wrote:
> Hi All,
>
> in the last few days we have seen many people going at lengths with
> the pros and cons of a non-merged usr. That has been a great
> discussion. We have put together a solution that consists into
> choosing if you want
On Mon, Nov 19, 2018 at 04:02:09PM +0100, Adam Borowski wrote:
> On Mon, Nov 19, 2018 at 12:17:45PM +0100, KatolaZ wrote:
> > Hi All,
> >
> > in the last few days we have seen many people going at lengths with
> > the pros and cons of a non-merged usr. That has been a great
> > discussion. We
On Mon, Nov 19, 2018 at 04:08:19PM +0100, KatolaZ wrote:
>
> P.S.: I am not so sure about the "unmerge" being so difficult, to be
> honest, but I might be wrong...
For unmerging you'd just have to know which files belong where in the
unmerged system. That information is should be in the
On Mon, Nov 19, 2018 at 10:34:49AM -0500, Hendrik Boom wrote:
> On Mon, Nov 19, 2018 at 04:08:19PM +0100, KatolaZ wrote:
> >
> > P.S.: I am not so sure about the "unmerge" being so difficult, to be
> > honest, but I might be wrong...
>
> For unmerging you'd just have to know which files belong
Quoting Miroslav Skoric (sko...@uns.ac.rs):
> Possibly ... but you need to explain that to the 3rd party software
> programmers. All I have remembered to be compiled from sources
> locally, went to /usr/local/.. Seems as (un)written consensus;
> however nobody suggested to have /usr/local/ as a
Le 18/11/2018 à 01:21, Miroslav Skoric a écrit :
On 11/17/18 3:18 PM, Didier Kryn wrote:
The advantage of separating /usr is it can be mounted after
boot. /bin and /sbin (and /lib) contain the critical applications
(and library) necessary to boot the system, and they are, by
Quoting Didier Kryn (k...@in2p3.fr):
> Seems we agree. What I mean is that you must carefully tweak
> your OS so that the package manager does not undo your settings. It
> also means that you cannot use kernel updates from the distro
> because you just don't use the kernel of the distro. You
On Sat, 17 Nov 2018 12:29:33 +0100 (CET)
k...@aspodata.se wrote:
> Rich Moen:
> ...
> > Moreover, I'm
> > sufficiently unhappy with udev that I'm currently testing migration
> > away from it to reduce system complexity and protect security.
> > mdev's looking promising. (And no, I don't care if
On Sat, 17 Nov 2018 13:03:30 +0100
KatolaZ wrote:
> On Sat, Nov 17, 2018 at 12:57:23PM +0100, Alessandro Selli wrote:
> > On 16/11/18 at 11:43, KatolaZ wrote:
> > > On Fri, Nov 16, 2018 at 10:19:30AM +, Rowland Penny wrote:
> > >
> > > [cut]
> > >
> > >> So, after reading Steve's
32 matches
Mail list logo
