Есть ли местоположение домашнего каталога для замены значков?
Если вы используете GNU, похоже, что параметр -l для sed неверен: вам, вероятно, нужен параметр -u (без буферизации). Кроме того, grep лишний. Вы должны иметь возможность получить то, что хотите, только с помощью sed:
ping $HOST | sed -u -n '/ ms$/s/.* time=\(.*\) ms$/\1/p' >file.out
-n подавляет нормальный совпадающий вывод, в то время как s /// p принудительно выводит совпадающие строки .
Программа xdg-icon-resourceявно тупая насчет "масштабируемых" значков SVG. Для этого требуется аргумент --size, но вы не можете указать scalableв качестве размера.
Я пытался заставить работать значок Alacritty, и вот что у меня получилось:
$ mkdir -p ~/.local/share/icons/hicolor/scalable/apps
$ mv /tmp/Alacritty.svg ~/.local/share/icons/hicolor/scalable/apps/
Чтобы немного пояснить, тема «hicolor» является резервной, родительской по умолчанию для большинства тем Gnome. Вы можете увидеть его определения в/usr/share/icons/hicolor/index.theme
Вы можете найти текущую тему с помощью
$ gsettings get org.gnome.desktop.interface icon-theme
'Yaru'
И вы можете увидеть, как он наследуется от hicolorпрямо вверху:
$ head -4 /usr/share/icons/Yaru/index.theme
[Icon Theme]
Name=Yaru
Comment=A desktop adaptation of the Ubuntu mobile icons.
Inherits=Humanity,hicolor
Если вы пытаетесь переопределить значок для определенной темы, вам нужно поместить значок в каталог для этой темы, потому что помещение его в hicolorне переопределит его, например, для Yaru.