Итак, вышла новая версия "gnome-shell-extension-desktop-icons" с функциями, которые мне нужны, например, возможность перетаскивать файлы мышкой в браузер. Но когда я установил расширение, они постоянно переключались с одного на другое, и я не могу удалить старое с сайта. Кто-нибудь знает, как полностью заменить старое?
Старый: https://extensions.gnome.org/extension/1465/desktop-icons/ Новый: https://extensions.gnome.org/extension/2087/desktop-icons-ng-ding/