Index: uspace/lib/gui/terminal.c
===================================================================
--- uspace/lib/gui/terminal.c	(revision 984a9ba2fa05c490a7066737655ed19130c714e8)
+++ uspace/lib/gui/terminal.c	(revision c300bb56e208d42792c63cae476da2ccf684ebfd)
@@ -417,7 +417,13 @@
 			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. */
-			if (event->type == CEV_KEY && event->ev.key.type == KEY_PRESS &&
-			    event->ev.key.c != 0) {
+			} else if (event->type == CEV_KEY && event->ev.key.type == KEY_PRESS &&
+				   event->ev.key.c != 0) {
 				wchar_t tmp[2] = {
 					event->ev.key.c,