Como foi respondido na pergunta relacionada, esta é a remoção da substring :
${string##substring}
Deletes longest match of $substring from front of $string.
Nesse caso, ele está removendo o caminho e retendo apenas o basename
:
$ FILE=/etc/default/google-chrome
$ echo ${FILE##*/}
google-chrome
$ basename $FILE
google-chrome
Normalmente, prefiro basename
, mas é uma questão de opinião se o código somente de gravação é melhor se for mais rápido. De qualquer forma, não vejo um erro.
No entanto, você pode considerar os -nt
e -ot
tests :
f1 -nt f2
file f1 is newer than f2
f1 -ot f2
file f1 is older than f2
E talvez simplifique:
other_file="$WS_ROOT/$NomeVista/COMP/COMP_COMPILE"
if [[ -r $fver && -r $other_file && ( $fver -nt $otherfile ) ]]
then
return 1
fi
return 0