make menuconfig does not work with gnome-terminal
I have freshly flashed the v5.0 (by ssh):
It seems that the color scheme xterm-256color is giving me some problem with Ubuntu 16.04 (gnome-terminal)
wrs-172.17.5.144#make menuconfig
make: Warning: File 'Makefile' has modification time 1481877756 s in the future
cp dot-config .config
./mconf Kconfig
.config:96:warning: symbol value '"80"' invalid for SNMP_TEMP_THOLD_FPGA
.config:97:warning: symbol value '"80"' invalid for SNMP_TEMP_THOLD_PLL
.config:98:warning: symbol value '"80"' invalid for SNMP_TEMP_THOLD_PSL
.config:99:warning: symbol value '"80"' invalid for SNMP_TEMP_THOLD_PSR
Error opening terminal: xterm-256color.
Makefile:21: recipe for target 'menuconfig' failed
make: *** [menuconfig] Error 1
This works fine with xterm (Even if I still have the SNMP_TEMP_THOLD_xxx warnings)