>>>>> On Fri, 11 Oct 2019, Thomas Deutschmann wrote: > Tilde expansion only happens when string to expand starts with "~" but > this is not the case here (string starts with "https...").
I stand corrected.
>>>>> On Fri, 11 Oct 2019, Thomas Deutschmann wrote: > Tilde expansion only happens when string to expand starts with "~" but > this is not the case here (string starts with "https...").
I stand corrected.