Lines Matching refs:terminal_type
574 const char* terminal_type = getenv("TERM");575 if (terminal_type != nullptr) {576 args.push_back(std::string("TERM=") + terminal_type);