X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finit.c;fp=src%2Fthreads%2Finit.c;h=55a8cbb5f363f9f140149bedc7fd90f8a74a3178;hb=911b7dc454511ac5ca905be0be28fc2806ce4514;hp=4b7835800487b14c27d61a9b7cc5e2a2be7ca903;hpb=3c4ff7ffae2e6f05a2c78ec77814dbc5a98c4f98;p=pintos-anon 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"