-
Notifications
You must be signed in to change notification settings - Fork 1
External Server
To run Isabelle on a discord server 24/7, you must move her to an Linux server (unless you have a personal server already).
My personal cloud server choice is Digital Ocean. You can find a relatively cheap monthly plan if you're hosting Isabelle for your private discord server.
My current cloud server is set to run on Ubuntu 18.04.
Once you're able to access your external server through terminal and ssh, follow this guide in order to setup an administrator user.
After you setup your user, log out of root, and login again with your administrator user you just created.
Your new ssh command should look something like: ssh username@server-ip-address
After you login, install Homebrew for Linux. Homebrew is a command line package manager that makes software installation and uninstallation on MacOS and Linux easy.
Run the following command to install Golang on the server:
brew install go
To install PostgreSQL, follow this guide.
To install Isabelle, use the following command: go get -u github.com/yiping-allison/isabelle
This will tell Go to grab all source code files from my GitHub repository and dependencies and update them to the latest versions.