
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 “File $FILE […]