//////////////////////////////////////////////////////////////////////
int main(int argc, char **argv) {
+
+ if(!ttyname(STDIN_FILENO)) {
+ cerr << "Error: the standard input is not a tty." << endl;
+ exit(1);
+ }
+
char buffer[buffer_size];
int color_fg_modeline, color_bg_modeline;
int color_fg_highlight, color_bg_highlight;