added relaunch function to bash