Name	Size	Mode	Actions
bc	821	0644	editdlrm
findutils	323	0644	editdlrm
gdisk	239	0644	editdlrm
kbd-font-formats	400	0644	editdlrm
libpng16	1367	0644	editdlrm
man-db	265	0644	editdlrm
mdadm-faq	263	0644	editdlrm
mdadm-readme-recipes	296	0644	editdlrm
nano	269	0644	editdlrm
nano-faq	335	0644	editdlrm
nat	380	0644	editdlrm
packet-filter	357	0644	editdlrm
shared-mime-info	474	0644	editdlrm
time	524	0644	editdlrm
users-and-groups	423	0644	editdlrm

Document: time Title: The GNU time Command Author: David MacKenzie Abstract: The GNU 'time' command runs another program, then displays information about the resources used by that program, collected by the system while the program was running. You can select which information is reported and the format in which it is shown, or have `time' save the information in a file instead of display it on the screen. Section: Programming Format: HTML Index: /usr/share/doc/time/time.html Files: /usr/share/doc/time/time.html