search

simonknittel / discord-bot-api

This is a plugin based, self-hosted and configurable Discord bot. You can use plugins to play music, do a raffle or other things. You can even create your own ones!
GNU General Public License v3.0
11 stars 5 forks source link

Auto update #24

Open simonknittel opened 8 years ago

simonknittel commented 8 years ago
  1. [Bot] Download the latest updater which is located in a dedicated git repository.
    • Download with curl (or something like that)
    • Download the updater to a directory named updater which will be located in the root directory of the bot
  2. Install dependencies of the updater if needed
  3. [Bot] Start the updater
  4. [Bot] Close itself
  5. [Updater] Download the latest release of the Discord Bot API
    • Download either with curl (or something like that) or git pull origin master
  6. [Updater] Migrate files (like the config.json) and install new dependencies if needed
    • The migration code will be stored JavaScript modules for each specific version
  7. [Updater] Start the updated bot
  8. [Updater] Close itself
  9. [Bot] Delete the updater directory