init.sh: ease initialization a new dev env---double check before doing it