#!/usr/bin/env bash

if sudo xrandr --setprovideroutputsource 1 0; then
    xrandr --output DVI-I-1 --auto --output eDP1 --off
else
    >&2 echo Something wrong with displaylink? Kernel update?
fi
sudo dhcpcd enp0s20u2u1i5
sudo ip link set wlan0 down
sudo -K
