|
From: | Alessandro Salvatori |
Subject: | [bug #33640] please provide an equivalent of the "time" command |
Date: | Fri, 24 Jun 2011 23:58:57 +0000 |
User-agent: | Mozilla/5.0 (X11; U; Linux x86_64; en-US) AppleWebKit/534.11 (KHTML, like Gecko) Chrome/9.0.570.0 Safari/534.11 |
URL: <http://savannah.gnu.org/bugs/?33640> Summary: please provide an equivalent of the "time" command Project: GNU GRUB Submitted by: sandr8 Submitted on: Fri 24 Jun 2011 11:58:56 PM GMT Category: User Interface Severity: Major Priority: 5 - Normal Item Group: Feature Request Status: None Privacy: Public Assigned to: None Originator Name: Alessandro Salvatori Originator Email: address@hidden Open/Closed: Open Discussion Lock: Any Release: Release: Bazaar - trunk Reproducibility: None Planned Release: None _______________________________________________________ Details: _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?33640> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |