Subject: Re: bug#63786: [PATCH] home: services: ssh: Allow unset boolean options in ssh-config.

From: Ludovic Courtès <[email-masked]>
Date: Thu, 08 Jun 2023 22:57:37 +0200

Hello!

Efraim Flashner <[email-masked]> skribis:

>>>From man 5 ssh_config:
> Unless noted otherwise, for each parameter, the first obtained value
> will be used.
>
> We want to allow falling through to the first actual user defined value.

What do you mean by “first actual user-defined value”?  This service is
what generates all the “user-defined values”, no?

Overall my take is that default values should be specified in our code
(as default values of configuration record fields) rather than left
unspecified.  I think this is clearer and more predictable than relying
on upstream’s default values.

Thanks,
Ludo’.