if [ ! -d "extensions" ]; then
    mkdir extensions
fi
cd extensions

if [ ! -d "oops-plugin-hot-update" ]; then
    git clone -b master https://gitee.com/dgflash/oops-plugin-hot-update.git
else
    cd oops-plugin-hot-update
    git pull
fi