Используя perl
perl -lne 'my @a=$_=~/(\d+)/g;$sum+=$_ for @a; print $sum' file
Используя awk
tr ' ' '\n' < file |
awk '/[0-9]+/ {gsub(/[^0-9]/, "", $0); sum+=$0} END {print sum}'
Пример
% perl -lne 'my @a=$_=~/(\d+)/g;$sum+=$_ for @a; print $sum' foo
18075
% tr ' ' '\n' < foo |
awk '/[0-9]+/ {gsub(/[^0-9]/, "", $0); sum+=$0} END {print sum}'
18075
% cat foo
<Summary failed="10" notExecuted="0" timeout="0" pass="18065" />
Del código fuente -:gnome -el reloj parece usar dos archivos de sonido -:
En mi sistema, estos archivos están en la carpeta /usr/share/sounds/freedesktop/stereo
.
Por lo tanto, podría hacer una copia de seguridad -de los dos archivos de sonido -originales y reemplazarlos por otros archivos de sonido -(preferiblemente de la misma carpeta ).
Лучшее решение этой проблемы кажется более сложным, чем оно есть на самом деле.
Копировать существующий профиль:
cp -rv /usr/share/sounds/freedesktop ~/.local/share/sounds/my-custom-profile
Откройте файл index.theme
и измените имя на мой -пользовательский -профиль .Замените звуки, которые вы хотите изменить, на свои собственные, но будьте осторожны, например, длинный звук для аудио -громкости -изменения будет воспроизводиться при изменении громкости до его завершения. Для приложения часов вы хотите найти эти файлы:
Я видел, как используются файлы ogg и oga, я попробовал FLAC, но это не сработало (в контейнере flac ). Возможно, вам потребуется преобразовать ваши звуки в Vorbis.
Откройте редактор dconf -, перейдите к /org/gnome/desktop/sound
и измените значение theme-name
на свой пользовательский профиль, например. мой -пользовательский -профиль .
Я не совсем уверен, как сопоставляется звуковой профиль, то ли по имени папки, то ли по полю имени в файле темы, кажется, это имя папки. Я предлагаю иметь одинаковое имя в обоих местах.