GNU bug report logs - #63786
[PATCH] home: services: ssh: Allow unset boolean options in ssh-config.

Previous Next

Full log

Message #8 received at 63786 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Efraim Flashner <efraim <at> flashner.co.il>
Cc: , 63786 <at> debbugs.gnu.org
Subject: Re: bug#63786: [PATCH] home: services: ssh: Allow unset boolean
 options in ssh-config.
Date: Thu, 08 Jun 2023 22:57:37 +0200

Hello!

Efraim Flashner <efraim <at> flashner.co.il> 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’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.