Re: [PATCH 1/1] merge_config.sh: ignore unwanted grep errors

2019-09-02 Thread Jon Hunter
On 02/09/2019 15:49, Guillaume Tucker wrote: > On 02/09/2019 15:32, Jon Hunter wrote: >> >> On 02/09/2019 15:26, Guillaume Tucker wrote: >>> On 02/09/2019 15:21, Jon Hunter wrote: On 02/09/2019 15:14, Guillaume Tucker wrote: > + Jon Hunter who hit a similar issue Thanks

Re: [PATCH 1/1] merge_config.sh: ignore unwanted grep errors

2019-09-02 Thread Guillaume Tucker
On 02/09/2019 15:32, Jon Hunter wrote: > > On 02/09/2019 15:26, Guillaume Tucker wrote: >> On 02/09/2019 15:21, Jon Hunter wrote: >>> >>> On 02/09/2019 15:14, Guillaume Tucker wrote: + Jon Hunter who hit a similar issue >>> >>> Thanks for adding me. >>> On 28/08/2019 21:19, Guillaume

Re: [PATCH 1/1] merge_config.sh: ignore unwanted grep errors

2019-09-02 Thread Jon Hunter
On 02/09/2019 15:26, Guillaume Tucker wrote: > On 02/09/2019 15:21, Jon Hunter wrote: >> >> On 02/09/2019 15:14, Guillaume Tucker wrote: >>> + Jon Hunter who hit a similar issue >> >> Thanks for adding me. >> >>> On 28/08/2019 21:19, Guillaume Tucker wrote: The merge_config.sh script

Re: [PATCH 1/1] merge_config.sh: ignore unwanted grep errors

2019-09-02 Thread Guillaume Tucker
On 02/09/2019 15:21, Jon Hunter wrote: > > On 02/09/2019 15:14, Guillaume Tucker wrote: >> + Jon Hunter who hit a similar issue > > Thanks for adding me. > >> On 28/08/2019 21:19, Guillaume Tucker wrote: >>> The merge_config.sh script verifies that all the config options have >>> their expected

Re: [PATCH 1/1] merge_config.sh: ignore unwanted grep errors

2019-09-02 Thread Jon Hunter
On 02/09/2019 15:14, Guillaume Tucker wrote: > + Jon Hunter who hit a similar issue Thanks for adding me. > On 28/08/2019 21:19, Guillaume Tucker wrote: >> The merge_config.sh script verifies that all the config options have >> their expected value in the resulting file and prints any issues

Re: [PATCH 1/1] merge_config.sh: ignore unwanted grep errors

2019-09-02 Thread Guillaume Tucker
+ Jon Hunter who hit a similar issue On 28/08/2019 21:19, Guillaume Tucker wrote: > The merge_config.sh script verifies that all the config options have > their expected value in the resulting file and prints any issues as > warnings. These checks aren't intended to be treated as errors given >

[PATCH 1/1] merge_config.sh: ignore unwanted grep errors

2019-08-28 Thread Guillaume Tucker
The merge_config.sh script verifies that all the config options have their expected value in the resulting file and prints any issues as warnings. These checks aren't intended to be treated as errors given the current implementation. However, since "set -e" was added, if the grep command to look