| http://www.w3.org/ns/prov#value | - I was just pointing out that we are far more likely to use foo=${bar##*/} than foo=$(basename $bar) in BASH and indeed POSIX SH nowadays; I understand basename can do a bit more, but it is not needed most of the time, and the parameter expansion is a lot quicker.
|
