I am already stuck on the first / second step. Doing the dom0 update: sudo qubes-dom0-update returns two warnings:
warning: Converting database from bdb to sqlite backend
Warning: Enforcing GPG signature check globally as per active RPM security policy (see 'gpgcheck' in dnf.conf(5) for how to squelch this message)
Fedora 25 - x86_64 ...
Fedora 25 - x86_64 - Updates ...
...
Dependencies resolved.
Nothing to do.
Complete!
No packages downloaded
Afterwards, I fail to make the first verification check since I do not have a directory /srv/formulas/base/...
First, it is not recommended to update with direct commands such as qubes-dom0-update. From How to update | Qubes OS :
Warning: Updating with direct commands such as qubes-dom0-update, dnf update, and apt update is not recommended, since these bypass built-in Qubes OS update security measures. Instead, we strongly recommend using the Qubes Update tool or its command-line equivalents, as described below. (By contrast, installing packages using direct package manager commands is fine.)
I’m not sure why the Whonix documentation says differently.
Next, if you’re just trying to install the Whonix 16 templates, you can follow the steps on Templates | Qubes OS to run sudo qubes-dom0-update --enablerepo=qubes-templates-community qubes-template-<DISTRO_NAME>-<RELEASE_NUMBER> where <DISTRO_NAME>-<RELEASE_NUMBER> is whonix-gw-16 and whonix-ws-16.
If you have any more problems or this is completely unrelated to your problem, please let me know.