improved: reset the options.ini automatically
fixed: bash commands to deploy on Ubuntu