Lines Matching full:thus

149 The shell is thus distinguished from the command interpreters of other
160 Thus the command
261 Thus the command
293 Thus suppose we wish to save the current date in a file called `now'.
311 Thus the command
319 Thus this command places the current date and time into the file `now'.
341 Thus the default is for files to be permanent.  If you wish to create a file
355 Thus, in running the
461 Thus
495 Thus this command gives us the names and sizes of our 5 largest files.
523 Thus the pathname
570 Thus
601 Thus the command
623 Thus
634 Thus
645 Thus
721 are not thus conveniently described.
731 Thus the command
755 Thus
815 Thus the
829 Thus if we execute
994 Thus I would use `chsh bill /bin/csh'.