说到 Linux 桌面，我是个新手。我有一台 Precision 7530 笔记本电脑。我使用的是 Ubuntu 18.04。第一次连接戴尔坞站 (Wd19DC) 时，我能够按照自己的意愿设置显示器。断开坞站连接后，花了 1-2 分钟（使用 Windows 7 时几乎是即时的）。然后我重新连接到坞站，但什么也没发生。我进入显示器设置进行进一步调查，然后笔记本电脑死机了。坞站和驱动程序似乎存在一些问题。我应该从哪里开始查找？（例如，我应该在这里发布 /var/log/syslog 的输出吗）？是否有任何特定的驱动程序需要我才能使其“正确”工作？