первые 2 команды awk используются для добавления значений и перенаправления вывода на f1.out и f2.out
последняя - для сравнения значений между f1.out и f2.out
$ awk '{Arr[$2]=Arr[$2]+$3+$4}END{for(i in Arr)print i,Arr[i]}' file1 > f1.out
$ awk '{Arr[$2]=Arr[$2]+$3+$4}END{for(i in Arr)print i,Arr[i]}' file2 > f2.out
$ awk 'NR==FNR{Arr[$1]=$2;next}{if(Arr[$1]!=$2){out=$1","out;}}END{print out}' f1.out f2.out
Наконец-то я нашел вероятную причину. У меня был установлен rdnssd
. Эта упаковка имеет известную ошибку , из-за которой она переопределяет настройки DNS...
Я удалил его.
sudo apt-get remove rdnssd
Как уже было сказано позже в вопросе, плохой дисплей был просто плохим дисплеем, а не фактической причиной проблемы.