Email address obfuscation in effect -- please
click here to turn it off.
[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
- To: "MLUG Members" <EMAIL:PROTECTED>
- Subject: Re: [MLUG] Passing options to the time command
- From: "Jonathan King" <EMAIL:PROTECTED>
- Date: Sat, 3 Nov 2007 02:18:42 -0400
- Delivery-date: Sat, 03 Nov 2007 01:18:59 -0500
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=U9ENJz8q1ThqII70D4fEGwFsPGljogNT7sKP1lhOGpg=; b=b+91Ars9vitiQ34sITFu8VZE7w6hUuiUyGS4lw4ObktME3ALKObRbxAYXV+UhaxoeRuTazkEF66Wf7vmz5PGeVO4MP9zxqYxwq0r7jk4YwRyejh7oNtwxfV72pH2GxRjfv9Jy/7/yuH+km4aOCHv07SZAYW+GG1tfWCbyZ4PknM=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=r5OpS/MbbRWC5Fg3Aw7nxwOai79vMMjcpGPQe4vyX+5wZGTU1+V4mgOoBm6TjDIt5vsAfSuAEmJfLUe4e1hZ5r38/6EqhPZqczvJNZUP3vY8qCm4TQcDkwT4qs6MntG5rAdZNftlmhjG5lbD8iJ4NTOaS1CiPBp33GgQodcpkZs=
- Envelope-to: EMAIL:PROTECTED
- In-reply-to: <EMAIL:PROTECTED>
- References: <EMAIL:PROTECTED> <EMAIL:PROTECTED> <EMAIL:PROTECTED> <EMAIL:PROTECTED>
- Reply-to: MLUG Members <EMAIL:PROTECTED>
- Sender: EMAIL:PROTECTED
On 11/3/07, Adam Procter <EMAIL:PROTECTED> wrote:
>
> Right, but observe:
>
>
> [EMAIL:PROTECTED ~]$ /usr/bin/time -V
> GNU time 1.7
>
> [EMAIL:PROTECTED ~]$ time -V
> -V: Command not found.
> 0.000u 0.000s 0:00.00 0.0% 0+0k 0+0io 0pf+0w
>
> If you don't supply the full path, bash will use its built-in version of
> the command, which is less featureful (or doesn't support the -V flag, in
> any case).
Ooh! One of my pet peeves! I hate it when I can do this:
$ which time
/usr/bin/time
$ time -V
-bash: -V: command not found
EMAIL:PROTECTED bash!
I really think bash should have "which" as a built-in, so it can tell
you when it's hosing you over and maybe do this:
$ which time
/usr/bin/time shadowed by bash function "time"
There's another situation I run into that's similarly annoying, but I
guess it's too late for me to remember what it is...
jking
_______________________________________________
members mailing list
EMAIL:PROTECTED
http://mlug.missouri.edu/mailman/listinfo/members