BUG time Debian

Tibor Zenis gzenis na gmail.com
Pondělí Duben 18 13:44:50 CEST 2005


On 4/17/05, AntiTrust2 (gmail) <antitrust2 na gmail.com> wrote:
> On 4/17/05, Slavek Banko <slavek.banko na axis.cz> wrote:
> > -----BEGIN PGP SIGNED MESSAGE-----
> > Hash: SHA1
> >
> > Vezte, ze b) je spravne :-). Ale je pravda, ze to byl chytak. Neni totiz
> > "time" (viz man bash) jako /usr/bin/time (viz man time)...
> >
> > >
> > >
> > > 1. Chyba spociva v tom, ze time neakceptuje opsny.
> > > Napr.: (copy/paste z MANu!)
> > > ~# time -f "%E real,%U user,%S sys" ls -Fs
> > > bash: -f: command not found
Z tohoto by malo byt jasne, ze sa nespusta time, ale bash.
> 
> Ono v man time je sice:
> Users  of the bash shell need to use an explicit path in order to run
> the external time command and not the shell builtin variant. On system
> where
>        time is installed in /usr/bin, the first example would become
>             /usr/bin/time wc /etc/hosts
> 
> ale ked mi islo time, predpokladal som, ze pisat /cesta/ku/programu je
> blbost, a ze 2 rovnake mat nebudem!
Test spravnosti:
% which time
time: shell reserved word

% which /usr/bin/time
/usr/bin/time

Pozor: pre zsh which je
% which which
which: shell built-in command

ale ak sa zavola /usr/bin/which (pripad bash), tak ten zamozrejme
nenajde built-in commands.

> No: 1. vdaka, 2. citat poriadne!, 3. napisat skor do konfery(hoci
> bezne tvrdim opak) a 4. nikdy nikomu a nicomu never! (hlavne
> predpokladom istym na 99,9%, lebo cas od casu sa prejavi aj tych 0,01%
> :|)

Bezne built-in commands su: true, :, test, [, echo, cd;
: a [ aj vo velmi starych shelloch.

      Tibor


-- 
~~~~~
Tibor Zenis
gzenis (a) gmail . com


Další informace o konferenci Linux