From 9087580da55af9d9515c5d7cb73a48a62cf3a36b Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Thu, 22 Dec 2005 20:49:13 +0000 Subject: [PATCH] Mention that keyboard input does not work with "pintos -v". --- doc/userprog.texi | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/userprog.texi b/doc/userprog.texi index c4bd9e1..d401fda 100644 --- a/doc/userprog.texi +++ b/doc/userprog.texi @@ -665,7 +665,8 @@ Reads @var{size} bytes from the file open as @var{fd} into @var{buffer}. Returns the number of bytes actually read (0 at end of file), or -1 if the file could not be read (due to a condition other than end of file). Fd 0 reads from the keyboard using -@func{kbd_getc}. +@func{kbd_getc}. (Keyboard input will not work if you pass the +@option{-v} option to @command{pintos}.) Consider implementing this function in terms of @func{file_read}. @end deftypefn -- 2.30.2