So at 1:07 in the morning my time, someone from the other side of the world posted this...

01:07 < REDACTED> how do i update it on mint

01:09 < REDACTED> how do i update it on mint

01:09 < REDACTED> how do i update it on mint

01:09 < REDACTED> how do i update it on mint

01:09 < REDACTED> how do i update it on mint

01:09 < REDACTED> how do i update it on mint

01:09 < REDACTED> how do i update it on mint

01:09 < REDACTED> how do i update it on mint

01:09 < REDACTED> how do i update it on mint

01:09 < REDACTED> how do i update it on mint

01:09 < REDACTED> how do i update it on mint

01:09 < REDACTED> how do i update it on mint

01:09 < REDACTED> how do i update it on mint

Then quit...

Seemed like a good opportunity to cover your options when you are on linux.

First off, usually your package manager is responsible for this, not the people volunteering to bang code together (although we often end up doing distro tech support too).

Mint is an interesting case. It's loosely based off ubuntu, but without the "App Store" so installing packages is a bit more Debian-y.

Basically on Ubuntu/Mint in order of preference you should use:

1) Official release package if it is up to date

2) Backports/Updates package if it is up to date

https://help.ubuntu.com/community/UbuntuBackports

https://backports.debian.org/Instructions/

3) https://launchpad.net/~costamagnagianfranco/+archive/ubuntu/hedgewars (PPA by the current maintainer of the Debian/Ubuntu packages)

Debian/Devuan is about the same except (3) is manual and at your own risk.

If all else fails, you can try installing the .debs for the version of Debian or Ubuntu that most closely matches what your distro was derived from, or try our build instructions.

https://www.hedgewars.org/kb/BuildingOnLinux

I haven't brought up other distros here, but usually we don't have problems with them. Occasionally with Arch.