>>>>> On Sat, 08 Apr 2023, Thomas Bracht Laumann Jespersen wrote:
> - [ -f "${mark}" ] > + [[ -f "${mark}" ]] The quotes are no longer needed in [[ ]].
>>>>> On Sat, 08 Apr 2023, Thomas Bracht Laumann Jespersen wrote:
> - [ -f "${mark}" ] > + [[ -f "${mark}" ]] The quotes are no longer needed in [[ ]].