Displaylink

In order to use Displaylink monitors over USB, such as the ASUS MB16AC, the displaylink driver needs to be installed:

$ services.xserver.videoDrivers = [ "displaylink" "modesetting" ];

Before the monitor can be used by xrandr, you will need to run the following command, which can be added to e.g. your ~/.xprofile:

$ xrandr --setprovideroutputsource 1 0

As of right now (2020-01-24), the package in the nixos stable channel is out of date, so you may need to override it from nixpkgs.