Я использую Ubuntu 18.04.1. Я внес одно изменение в системные файлы и неблагоразумно не сохранил оригинал. Изменение было внесено в файл /usr/share/themes/Ambiance/gtk-3.0/gtk-widgets.css
согласно тому, Как я получаю большую статическую полосу прокрутки (иначе нормальная полоса прокрутки)?.
Где я мог бы найти этот исходный файл? Пакет установки прокладывает такие файлы под землей в архивах.
/usr/share/themes/Ambiance/gtk-3.0/gtk-widgets.css
файл от light-themes
пакет. Можно загрузить .deb
пакет путем выполнения
apt download light-themes
Затем Вы сможете извлечь пакет и найти желаемый файл в архиве с 'данными' на его имя.