From: Ben Pfaff Date: Tue, 12 Apr 2005 05:43:46 +0000 (+0000) Subject: Update message. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=911b7dc454511ac5ca905be0be28fc2806ce4514;p=pintos-anon Update message. --- diff --git a/src/threads/init.c b/src/threads/init.c index 4b78358..55a8cbb 100644 --- a/src/threads/init.c +++ b/src/threads/init.c @@ -259,12 +259,12 @@ argv_init (void) #ifdef FILESYS " -f Format the filesystem disk (hdb or hd0:1).\n" " -ci FILENAME SIZE Copy SIZE bytes from the scratch disk (hdc\n" - " or hd1:0) into the filesystem as FILENAME\n" + " or hd1:0) into the filesystem as FILENAME.\n" " -co FILENAME Copy FILENAME to the scratch disk, with\n" - " size at start of sector 0 and data afterward\n" - " -p FILENAME Print the contents of FILENAME\n" - " -r FILENAME Delete FILENAME\n" - " -ls List the files in the filesystem\n" + " size at start of sector 0 and data after.\n" + " -p FILENAME Print the contents of FILENAME.\n" + " -r FILENAME Delete FILENAME.\n" + " -ls List files in the root directory.\n" #endif " -q Power off after doing requested actions.\n" " -u Print this help message and power off.\n"