On Tue, Sep 07, 2021 at 07:57:55PM +0200, Robert Nagy wrote:
| On 07/09/21 19:31 +0200, Paul de Weerd wrote:
| > Hi all,
| >
| > On Tue, Sep 07, 2021 at 02:30:43PM +0200, Robert Nagy wrote:
| > | /etc/reorder_kernel.conf
| >
| > Thank you for your suggest Robert! In the mean time, I've had a
On 07/09/21 19:31 +0200, Paul de Weerd wrote:
> Hi all,
>
> On Tue, Sep 07, 2021 at 02:30:43PM +0200, Robert Nagy wrote:
> | /etc/reorder_kernel.conf
>
> Thank you for your suggest Robert! In the mean time, I've had a few
> more off-list comments about this proposal - generally favorable, but
>
Hi all,
On Tue, Sep 07, 2021 at 02:30:43PM +0200, Robert Nagy wrote:
| /etc/reorder_kernel.conf
Thank you for your suggest Robert! In the mean time, I've had a few
more off-list comments about this proposal - generally favorable, but
no better suggestions have come along. After some more
On 29/08/21 08:10 -0600, Theo de Raadt wrote:
> Ingo Schwarze wrote:
>
> > One - admittedly completely unUNIXy - way would be to invent a long,
> > descriptive name like /etc/kernel.config.commands or even /bsd.config.cmd
> > in the root rather than the /etc directory, which is more discoverable
Thank you for the suggestion Theo, I tried to update those two pages,
but a better name did not occur to me. If anything it points at an
issue in the boot_config page which currently states:
"Changes made can be saved for the next reboot, by using config(8)."
Although true, this breaks KARL
Ingo Schwarze wrote:
> One - admittedly completely unUNIXy - way would be to invent a long,
> descriptive name like /etc/kernel.config.commands or even /bsd.config.cmd
> in the root rather than the /etc directory, which is more discoverable
> because it is right next to the kernel itself. The
Hi,
Theo de Raadt wrote on Sun, Aug 29, 2021 at 07:15:34AM -0600:
> I am not thrilled with the name "kernel.conf".
> It does not seem intuitively discoverable.
What would be a canonical name?
It is a command file for config(8).
Note that the "config-file" for config is something else, and
man -k kernel, and man -k ukc, both suggest these are poor names
for different reasons.
maybe if you write some diffs to hint at the existance of this mechanism
in the config(8) and boot_config(8) manual pages, a better name will
sneak up on us.
Paul de Weerd wrote:
> Hi Theo,
>
> That's a
Hi Theo,
That's a good point, but I have no better alternative. kernel.conf
was the best I could come up with, as it is a configuration file for
the (installed) kernel. I briefly considered:
- config.conf (after config(8), but seems hilariously worse to me)
- ukc.conf (has similar (perhaps
I am not thrilled with the name "kernel.conf".
It does not seem intuitively discoverable.
Paul de Weerd wrote:
> Got some more positive feedback off-list, which reminded me that
> there's a small piece missing:
>
> Index: changelist
>
Got some more positive feedback off-list, which reminded me that
there's a small piece missing:
Index: changelist
===
RCS file: /home/OpenBSD/cvs/src/etc/changelist,v
retrieving revision 1.128
diff -u -p -r1.128 changelist
---
Robert, Sebastien and Stuart,
Thanks for your constructive and postive feedback. Combined with some
off-list (positive) feedback, it suggests this is at least worth
further consideration.
On Tue, Aug 24, 2021 at 08:05:37PM +0200, Robert Nagy wrote:
| I am happy to see this. All for it. Did you
On 2021/08/25 10:35, Sebastien Marie wrote:
> On Tue, Aug 24, 2021 at 01:53:41PM +0200, Paul de Weerd wrote:
> > I have a new machine where I'd like to use IPMI. Of course, doing
> > `config -e -f /bsd` will break KARL, so I tried to find a minimal way
> > of supporting this. Done by introducing
On Tue, Aug 24, 2021 at 01:53:41PM +0200, Paul de Weerd wrote:
> I have a new machine where I'd like to use IPMI. Of course, doing
> `config -e -f /bsd` will break KARL, so I tried to find a minimal way
> of supporting this. Done by introducing a new config file,
> /etc/kernel.conf, which gets
I am happy to see this. All for it. Did you check all the error cases
to make sure that reorder_kernel will report what needs to be reported?
On 24/08/21 13:53 +0200, Paul de Weerd wrote:
> I have a new machine where I'd like to use IPMI. Of course, doing
> `config -e -f /bsd` will break KARL,
I have a new machine where I'd like to use IPMI. Of course, doing
`config -e -f /bsd` will break KARL, so I tried to find a minimal way
of supporting this. Done by introducing a new config file,
/etc/kernel.conf, which gets applied to the kernel reorder_kernel
builds and installs.
Paul 'WEiRD'
16 matches
Mail list logo
