Howto update Digital Ocean domain server


#1

The docs say login to the server and run "recompilehifi"
I have tried that both as root and hifi, but get an error that no such command exists.

It is an Ubuntu 16.04 server. Everything worked until yesterdays new release.

Anyone know how to do this?