Как изменить Показать приложения Значок в доке Ubuntu 17.10 [duplicate]
Вы можете использовать массив awk с переключателем для буферизации последнего блока и напечатать текст ошибки, если переключатель все еще установлен в конце (это, по-моему, реализация awk @ python ответа anatoly_techtonik): [ ! d0]
awk '
BEGIN{PROCINFO["sorted_in"]="@ind_num_asc"}
/Transfer started/ {inblock=1; delete a;}
/Transfer completed/ {a[FNR]=$0; inblock=0;}
inblock == 1 {a[FNR]=$0}
END {
for (i in a) print a[i];
if (inblock)
print "ERROR: transfer not complete by end of log file"
}
' logfile
2 ответа
Эта кнопка добавлена расширением «Показать приложения», не так ли? Это расширение использует значок view-grid-symbolic.svg, расположенный в папке /usr/share/icons/gnome/scalable/actions темы значка Gnome. Эта информация может быть получена при прямом загрузке этого расширения и исследовании его содержимого.
Теперь у вас есть 2 способа заменить его значок. 1. Вместо этого вы можете использовать свой масштабируемый значок my-cool-icon.svg:
sudo cp -p /usr/share/icons/gnome/scalable/actions/view-grid-symbolic.svg /usr/share/icons/gnome/scalable/actions/view-grid-symbolic.svg.bak
sudo cp my-cool-icon.svg /usr/share/icons/gnome/scalable/actions/view-grid-symbolic.svg
cd /usr/share/icons ; sudo gtk-update-icon-cache gnome
Последняя строка обновляет кеш ваших значков, чтобы появился новый значок. Если этого не произойдет, перезапустите Gnome. [D4] Этот метод не самый лучший, поскольку он заменяет один из значков системы, который может использоваться каким-либо другим приложением. Вот почему второй предпочтительнее.
1. Вы должны найти, где находится это расширение, и изменить его код, чтобы он указывал на другой значок. Сначала создайте этот значок:
sudo cp my-cool-icon.svg /usr/share/icons/gnome/scalable/actions/show-applications-extension-symbolic.svg
Вы можете найти установленные расширения в папке $HOME/.local/share/gnome-shell/extensions/. Найдите папку, начинающуюся с showapplications@ внутри нее, введите ее и найдите файл extension.js. Сделайте резервную копию для безопасности, откройте ее с помощью своего любимого редактора и найдите следующую строку:
let icon = new St.Icon({ icon_name: 'view-grid-symbolic',
Замените view-grid-symbolic внутри кавычек на новую, т. Е. [F11]. Вот и все. Перезапустите Gnome, если изменение не появится мгновенно. Если это еще не видно, обновите кэш значков, как описано выше.
Эта кнопка добавлена расширением «Показать приложения», не так ли? Это расширение использует значок view-grid-symbolic.svg, расположенный в папке /usr/share/icons/gnome/scalable/actions темы значка Gnome. Эта информация может быть получена при прямом загрузке этого расширения и исследовании его содержимого.
Теперь у вас есть 2 способа заменить его значок. 1. Вместо этого вы можете использовать свой масштабируемый значок my-cool-icon.svg:
sudo cp -p /usr/share/icons/gnome/scalable/actions/view-grid-symbolic.svg /usr/share/icons/gnome/scalable/actions/view-grid-symbolic.svg.bak
sudo cp my-cool-icon.svg /usr/share/icons/gnome/scalable/actions/view-grid-symbolic.svg
cd /usr/share/icons ; sudo gtk-update-icon-cache gnome
Последняя строка обновляет кеш ваших значков, чтобы появился новый значок. Если этого не произойдет, перезапустите Gnome. [D4] Этот метод не самый лучший, поскольку он заменяет один из значков системы, который может использоваться каким-либо другим приложением. Вот почему второй предпочтительнее.
1. Вы должны найти, где находится это расширение, и изменить его код, чтобы он указывал на другой значок. Сначала создайте этот значок:
sudo cp my-cool-icon.svg /usr/share/icons/gnome/scalable/actions/show-applications-extension-symbolic.svg
Вы можете найти установленные расширения в папке $HOME/.local/share/gnome-shell/extensions/. Найдите папку, начинающуюся с showapplications@ внутри нее, введите ее и найдите файл extension.js. Сделайте резервную копию для безопасности, откройте ее с помощью своего любимого редактора и найдите следующую строку:
let icon = new St.Icon({ icon_name: 'view-grid-symbolic',
Замените view-grid-symbolic внутри кавычек на новую, т. Е. [F11]. Вот и все. Перезапустите Gnome, если изменение не появится мгновенно. Если это еще не видно, обновите кэш значков, как описано выше.