[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Can "${x##*/}" be used to replace "$(basename "$x")"?
|
From: |
Mike Jonkmans |
|
Subject: |
Re: Can "${x##*/}" be used to replace "$(basename "$x")"? |
|
Date: |
Sun, 16 Feb 2020 15:28:21 +0100 |
> I think that "${x##*/}" is the same as "$(basename "$x")". But I am
> not sure if there is a corner case that they are not the same. Does
> anybody know if they are exactly the same semantically? Thanks.
For x=/ they differ.
Regards,
--
Mike Jonkmans <address@hidden>