Sistema: Linux Mint 19 Cinnamon, baseado no Ubuntu 18.04.
Em esta resposta , estou sendo apontado para uma solução diferente, além de instalar diretamente da fonte.
Como eu nunca usei dget , devo instalá-lo primeiro com:
$ sudo apt-...
06.10.2018 / 12:48