Install from flatpak fails: Name or service not known

[pebbe]

Folowing these the instructions for installing dact on linux:

http://rug-compling.github.io/dact/manual/#linux

I get this error:

flatpak remote-add --user dact https://flatpak.danieldk.eu/dact.flatpakrepo

error: Can't load uri https://flatpak.danieldk.eu/dact.flatpakrepo: Error resolving “flatpak.danieldk.eu”: Name or service not known

[danieldk]

Thanks! I'll remove that part of the documentation. I do not currently have a desktop Linux machine, so I cannot maintain a Flatpak or apt repo.