Выполняется командой ниже
echo "1 1 0 0 2 3 23101 23101 0 0 2 0 5 2 0 0"| sed "s/ /\n/g"| awk '{print "# TYPE name_of_label_1 counter"NR}{print "name_of_label_"NR " " $0}'
выход
# TYPE name_of_label_1 counter1
name_of_label_1 1
# TYPE name_of_label_1 counter2
name_of_label_2 1
# TYPE name_of_label_1 counter3
name_of_label_3 0
# TYPE name_of_label_1 counter4
name_of_label_4 0
# TYPE name_of_label_1 counter5
name_of_label_5 2
# TYPE name_of_label_1 counter6
name_of_label_6 3
# TYPE name_of_label_1 counter7
name_of_label_7 23101
# TYPE name_of_label_1 counter8
name_of_label_8 23101
# TYPE name_of_label_1 counter9
name_of_label_9 0
# TYPE name_of_label_1 counter10
name_of_label_10 0
# TYPE name_of_label_1 counter11
name_of_label_11 2
# TYPE name_of_label_1 counter12
name_of_label_12 0
# TYPE name_of_label_1 counter13
name_of_label_13 5
# TYPE name_of_label_1 counter14
name_of_label_14 2
# TYPE name_of_label_1 counter15
name_of_label_15 0
# TYPE name_of_label_1 counter16
name_of_label_16 0
Проблема была с расширением Gnome, а не с самим Gnome.
Расширение называется «Мягкая яркость», и теперь оно, похоже, исправлено.