Creating this post to dump here various bash shell and script commands, tips and tricks which I found useful in my everyday work. Will update it with new info continually…
———
Check in bash if a file exists or not and do something in each case:

if [ -f $FILE ]; then echo […]