Не получается сменить шрифт заголовка окна через gnome-tweak-tool.
Вопрос как это сделать без него?

Вчера после обновления всей системы обновился gcc до версии 4.9.3, при этом автоматически произошло переключение в gcc-config до версии 4.9.3. Вопрос состоит в том: как отключить такую «фичу»?