Index: uspace/lib/gui/terminal.c
===================================================================
--- uspace/lib/gui/terminal.c	(revision fc151209d08902a2b7441325eb2ead039cd1da62)
+++ uspace/lib/gui/terminal.c	(revision 74aee0c2cfa336e598f984410b3c110b20bd0a5a)
@@ -417,13 +417,7 @@
 			cons_event_t *event = list_get_instance(link, cons_event_t, link);
 
-			/* Ctrl-D inputs end-of-file. */
-			if ((event->ev.key.mods & KM_LCTRL) != 0 &&
-			     event->ev.key.key == KC_D && event->ev.key.type == KEY_PRESS) {
-				term->char_remains[term->char_remains_len] = EOF;
-				term->char_remains_len = str_size(term->char_remains);
-
 			/* Accept key presses of printable chars only. */
-			} else if (event->type == CEV_KEY && event->ev.key.type == KEY_PRESS &&
-				   event->ev.key.c != 0) {
+			if (event->type == CEV_KEY && event->ev.key.type == KEY_PRESS &&
+			    event->ev.key.c != 0) {
 				wchar_t tmp[2] = {
 					event->ev.key.c,