Если вы хотите иметь файл ecc отдельно от архива, вы можете использовать pyFileFixity, проект с открытым исходным кодом на Python, целью которого является предоставление PAR-подобной системы защиты нового поколения от повреждения битов.
Если вы хотите, чтобы защита ecc была включена непосредственно в архив, вы можете использовать DAR, своего рода TAR нового поколения, который позволяет генерировать как несолидные (т.е. позволяющие частичное извлечение поврежденных архивов), так и ecc (использующие PAR2) и изоляцию каталога (т.е. сохраняющие резервную копию дерева каталогов и мета-данных файловой системы) непосредственно в архивах .dar.
Я использую Ubuntu 18.04, (также сделал это в 17.10 )и, как сказал @cezanee -vahid , вы можете найти файл CSS здесь:/usr/share/gnome-shell/theme/gdm3.css
и изменив этот файл вам не нужно перезапускатьgnome
или делать что-либо еще, они будут изменены блокировкой компьютера (или, лучше сказать, будут перезагружены ).
, поэтому для изменения размера часов вам нужно изменить толькоfont-size
иfont-weight
для класса .screen-shield-clock-time
.
также, если вы хотите избавиться от этих стрелок в нижней части экрана, просто установите0
дляheight
иwidth
для.screen-shield-arrows Gjs_Arrow
селектора CSS. установка0
дляfont-size
или.screen-shield-clock-date
будет действовать аналогично для даты.
Я не являюсь пользователем дистрибутива на основе Arch или даже Arch -, но после прочтения ArchWiki о GDM кажется, что вам нужно скомпилировать исходные файлы для GDM после их изменения. также файлgdm3.css
в Arch называетсяgnome-shell.css
Итак, в заключение, эти спецы необходимы для изменения темы GDM в Arch:
gnome-shell-theme.gresource.xml
для выбранных файлов изображений gnome-shell.css
файл по своему желанию! /usr/share/gnome-shell
gdm.service
Вышеупомянутая ArhcWiki подробно объяснила эти шаги.
Не уверен, что это слишком поздно, но вы можете настроить значения в /usr/share/gnome-shell/theme/gdm3.css
, и это поможет. Просто найдите класс screen-shield-clock
и внесите свои изменения. Одна простая вещь, которую я сделал, чтобы сделать его немного лучше, установил font-weight
на 300
, и это улучшило внешний вид в миллион раз.