I understand that !
is used to negate an if condition in Bash, but I've just seen code which takes the format:
if ! [[ CONDITION ]]; then
SOMETHING
fi
Is there a difference between this format and the below?
if [[ ! CONDITION ]]; then
SOMETHING
fi
I've tried to Google but haven't found anything yet about the former syntax.