On Wed, 5 Mar 2025 at 14:05, Richard Earnshaw (lists)
wrote:
>
> On 05/03/2025 13:47, Jonathan Wakely wrote:
> > On Wed, 5 Mar 2025 at 13:37, Richard Earnshaw (lists)
> > wrote:
> >>
> >> On 05/03/2025 13:10, Jonathan Wakely via Gcc wrote:
> >>> While onboarding somebody today we noticed an error
On 05/03/2025 13:47, Jonathan Wakely wrote:
> On Wed, 5 Mar 2025 at 13:37, Richard Earnshaw (lists)
> wrote:
>>
>> On 05/03/2025 13:10, Jonathan Wakely via Gcc wrote:
>>> While onboarding somebody today we noticed an error in the
>>> customization script if you use a non-default value for the loca
On Wed, 5 Mar 2025 at 13:37, Richard Earnshaw (lists)
wrote:
>
> On 05/03/2025 13:10, Jonathan Wakely via Gcc wrote:
> > While onboarding somebody today we noticed an error in the
> > customization script if you use a non-default value for the local
> > prefix.
> >
> > I reproduced it with bash -x
On 05/03/2025 13:10, Jonathan Wakely via Gcc wrote:
> While onboarding somebody today we noticed an error in the
> customization script if you use a non-default value for the local
> prefix.
>
> I reproduced it with bash -x to show where it happens. In the output
> below I entered "jw" as the loca
