use a simple bash script for reverting