Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| matrix [2023/10/18 18:44] – jade | matrix [2025/10/14 12:04] (current) – jade | ||
|---|---|---|---|
| Line 21: | Line 21: | ||
| We use the following git repo for ansible configuration: | We use the following git repo for ansible configuration: | ||
| [[https:// | [[https:// | ||
| + | |||
| + | The ansible scripts are executed using: | ||
| + | |||
| + | < | ||
| + | just roles | ||
| + | just setup-all | ||
| + | </ | ||
| + | |||
| + | ==== Upgrading ==== | ||
| + | |||
| + | To upgrade the server, clone our github repository (above) and add a remote called upstream for https:// | ||
| + | |||
| + | < | ||
| + | git remote -v | ||
| + | |||
| + | origin git@github.com: | ||
| + | origin git@github.com: | ||
| + | upstream https:// | ||
| + | upstream https:// | ||
| + | </ | ||
| + | |||
| + | Then, pull from upstream, using rebase as your pull merge strategy. | ||
| + | |||
| + | Then run: | ||
| + | |||
| + | < | ||
| + | just roles | ||
| + | just setup-all | ||
| + | </ | ||
