warning about dumb terminal just irritates users
Merge pull request #2950 from tonini/remove-dumb-terminal-warning

warning about dumb terminal just irritates users