Our debian repo currently tells people to run a shell script as root to add our repository. This is because of a (IMO reasonable) tradeoff: Setup of package signing and just using HTTPS (lol) seems fairly involved. The script takes care of that and has good error messages too.
Nevertheless we should figure out an alternative installation path of that script. Perhaps also have a separate docs page for those instructions.
Our debian repo currently tells people to run a shell script as root to add our repository. This is because of a (IMO reasonable) tradeoff: Setup of package signing and just using HTTPS (lol) seems fairly involved. The script takes care of that and has good error messages too.
Nevertheless we should figure out an alternative installation path of that script. Perhaps also have a separate docs page for those instructions.