Папка /home/user/.fonts переименована в.fonts -отключено. Запустил fc -кеш -rv Теперь эти шрифты не будут использоваться системой.
Проблема решена -Firefox теперь имеет правильные шрифты.
В этой папке были шрифты, которые я собирал 15 лет (6 гб ),и что-то там портил firefox. А избавившись от него, я понял, что мне не нужно много шрифтов (только базовых от debian плюс mscorefonts было более чем достаточно ). Даже другие языковые шрифты (, такие как японский ), все еще работают.
Используйте двойные кавычки для расширения переменных и обратите внимание, что$()
рекомендуется вместо обратных кавычек в команде замена . Это должно быть:
$ toto=10
$ titi=$(echo "scale=6; $toto/65535" | bc -l | awk '{printf "%.6f\n", $0}')
$ echo "titi = $titi "
titi = 0.000152
(обратите внимание, что $
здесь находится командная строка подсказка используется для обозначения начала новой строки, а не части команды ).