/etc/network/interfaces for Whonix-Gateway