Я боюсь, что Вам не повезло, если Вы не хотите исправить источники (и возможно также предложить патч в восходящем направлении). Однако существует два альтернативных подхода:
присвойте максимизацию окна двойному щелчку по заголовку окна
используйте сочетание клавиш (оно использовало, действительно Alt+F5
, но я не уверен, что значение по умолчанию сегодня).
Это оказывается этим /tmp
не было перезаписываемо кроме корнем, по некоторым причинам. Я решил проблему с
chmod a+w /tmp
Я понятия не имею, как это оказалось; это - новая установка, и я, конечно, намеренно не изменил полномочия на drwxr-xr-
.
/tmp
и/var/tmp
rwxrwxrwt
(или 1777). – countermode 27.07.2016, 11:46