A bash script for dump redis as a file