Spin up your machine and just run the command curl https://olivierodo.me/setup-devtop?_=$(date +%s) | bash -