|
| 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] |