Как заменить значки в Linux Mint?
Как острота с результатом:
for pattern in $(awk '{print $3}' wrong.csv) ; do tre-agrep -B $pattern available.csv | tr "\n" "$"; echo ; done
"id1" , "text1-1"$"id1" , "text1-2"$"id1" , "text1-3"$"id1" , "text1-4"$"id2" , "text2-1"$"id2" , "text2-2"$"id2" , "text2-3"$"id2" , "text2-4"$
"id1" , "text1-1"$"id1" , "text1-2"$"id1" , "text1-3"$"id1" , "text1-4"$"id2" , "text2-1"$"id2" , "text2-2"$"id2" , "text2-3"$"id2" , "text2-4"$
"id1" , "text1-1"$"id1" , "text1-2"$"id1" , "text1-3"$"id1" , "text1-4"$"id2" , "text2-1"$"id2" , "text2-2"$"id2" , "text2-3"$"id2" , "text2-4"$
"id1" , "text1-1"$"id1" , "text1-2"$"id1" , "text1-3"$"id1" , "text1-4"$"id2" , "text2-1"$"id2" , "text2-2"$"id2" , "text2-3"$"id2" , "text2-4"$
лучше читаемый:
for pattern in $(awk '{print $3}' wrong.csv)
do
tre-agrep -B $pattern available.csv | tr "\n" "$"
echo
done
Что-то как этот?
1
Nils
10.03.2012, 23:04
Ссылка
2 ответа
Linux Mint перезаписывает другие значки темы с помощью изображений в этом каталоге:
/usr/share/linuxmint/common/artwork/logos
Просто перезапишите те изображения с изображениями Вашего выбора с теми же размерами.
Побочный эффект является теперь любой темой, будет использовать Ваши выбранные изображения для логотипа распределения.
2
Mat
27.01.2020, 23:29
Ссылка
Перейдите к Другим> Расширенные настройки> Темы и выберите Знаковую тему из Выпадающего
1
Michael
27.01.2020, 23:29
Ссылка