Ответ Романа выглядит идеально. Существует еще один менее элегантный способ. Я не уверен, где значки живут в остальной части системы, но значки, которые находятся на вашем рабочем столе, - это просто небольшие текстовые файлы в $ HOME / Desktop. Обычно они (но не обязательно) имеют расширение .desktop. Одним из полей в этих файлах является Icon = .... Вы можете использовать программу для изменения того, для какого поля установлено значение, по вашему выбору. (Возможно, вам придется сделать обновление после выполнения этого, как предлагает Рим.)
Когда я хочу использовать значок для чего-то другого или в другой системе, я иногда заглядываю в эти файлы .desktop, чтобы узнать то, что иконка в использовании называется.
Спецификации для этих файлов живут по адресу: http://www.freedesktop.org/wiki/Specifications/desktop-entry-spec
Joe
Я также могу воспроизвести это с фактической версией разработчика ubuntu 14.10. T440p, Thinkpad Ultradock, подключенный к DisplayPort, и я также устал от DVI.
Интересно: с кабелем mini-Displayport, подключенным к ноутбуку, все работает, поэтому, возможно, это и обходное решение для вас! [!d1 ]
BTW: Displayport с моим старым T420 (с док-станцией или без нее) работает просто отлично!