Bonjour,
Je comprend pas pourquoi la commande time ne fonctionne correctement que =
si je pr=E9cise son chemin absolu alors que la commande est bien dans mon=
$PATH.
Une explication ?
Merci
Daniel
Le cas concret :
$time --version
-bash: --version: command not found
Cette action est irreversible, confirmez la suppression du commentaire ?
Signaler le commentaire
Veuillez sélectionner un problème
Nudité
Violence
Harcèlement
Fraude
Vente illégale
Discours haineux
Terrorisme
Autre
Guy Roussin
Peut etre que time est une commande interne au shell utilisé ou qu'elle est aliasée ? essayer : time --version
Guy
Daniel C wrote:
Bonjour, Je comprend pas pourquoi la commande time ne fonctionne correctement qu e si je précise son chemin absolu alors que la commande est bien dans m on $PATH. Une explication ?
Merci
Daniel
Le cas concret :
$time --version -bash: --version: command not found
Peut etre que time est une commande interne au shell utilisé
ou qu'elle est aliasée ?
essayer :
time --version
Guy
Daniel C wrote:
Bonjour,
Je comprend pas pourquoi la commande time ne fonctionne correctement qu e
si je précise son chemin absolu alors que la commande est bien dans m on
$PATH.
Une explication ?
Merci
Daniel
Le cas concret :
$time --version
-bash: --version: command not found
Peut etre que time est une commande interne au shell utilisé ou qu'elle est aliasée ? essayer : time --version
Guy
Daniel C wrote:
Bonjour, Je comprend pas pourquoi la commande time ne fonctionne correctement qu e si je précise son chemin absolu alors que la commande est bien dans m on $PATH. Une explication ?
Merci
Daniel
Le cas concret :
$time --version -bash: --version: command not found
Le vendredi 04 août 2006 à 13:06 +0200, Guy Roussin a écrit :
Peut etre que time est une commande interne au shell utilisé ou qu'elle est aliasée ? essayer : time --version
Oui, si tu utilises bash, 'help time' dans un terminal devrait t'en dire plus (ou 'alias time').
Greg
-- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.net/?DebianFrench Vous pouvez aussi ajouter le mot ``spam'' dans vos champs "From" et "Reply-To:"
To UNSUBSCRIBE, email to with a subject of "unsubscribe". Trouble? Contact
Le vendredi 04 août 2006 à 13:06 +0200, Guy Roussin a écrit :
Peut etre que time est une commande interne au shell utilisé
ou qu'elle est aliasée ?
essayer :
time --version
Oui, si tu utilises bash, 'help time' dans un terminal devrait t'en dire
plus (ou 'alias time').
Greg
--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.net/?DebianFrench
Vous pouvez aussi ajouter le mot ``spam'' dans vos champs "From" et
"Reply-To:"
To UNSUBSCRIBE, email to debian-user-french-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Le vendredi 04 août 2006 à 13:06 +0200, Guy Roussin a écrit :
Peut etre que time est une commande interne au shell utilisé ou qu'elle est aliasée ? essayer : time --version
Oui, si tu utilises bash, 'help time' dans un terminal devrait t'en dire plus (ou 'alias time').
Greg
-- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.net/?DebianFrench Vous pouvez aussi ajouter le mot ``spam'' dans vos champs "From" et "Reply-To:"
To UNSUBSCRIBE, email to with a subject of "unsubscribe". Trouble? Contact
Daniel C
Vanuxem Grégory a écrit :
Le vendredi 04 août 2006 à 13:06 +0200, Guy Roussin a écrit :
Peut etre que time est une commande interne au shell utilisé ou qu'elle est aliasée ? essayer : time --version
Oui, si tu utilises bash, 'help time' dans un terminal devrait t'en dir e plus (ou 'alias time').
J'avais vérifié pour les alias.
help time ne m'apprend rien (ça raconte ce que ça fait mais pas qui l e fait, bash ou binaire indépendant du shell), en revanche dans le man bash on trouve que time est un mot réservé.
La commande type, que j'avais oubliée est bien utile dans ce cas là : $type time time is a shell keyword $type echo echo is a shell builtin $type ls ls is aliased to `ls $LS_OPTIONS' $type cat cat is /bin/cat
Sinon, effectivement time fonctionne comme /usr/bin/time
Si je comprend bien, l'anti-slash indique au shell de faire passer la com mande externe avant la commande interne. On en apprend tous les jours... (et on devrait relire le man bash de temps en temps, mais il est vraiment lon g ;-) )
Daniel
PS: désolé pour le post en double, j'avais pas reçu le 1er et j'ai changé d'adresse d'expéditeur pensant m'être planté la 1re fois). PS2: désolé pour les mails en PV, j'ai l'habitude du reply sans regar der sur les ml.
Greg
Vanuxem Grégory a écrit :
Le vendredi 04 août 2006 à 13:06 +0200, Guy Roussin a écrit :
Peut etre que time est une commande interne au shell utilisé
ou qu'elle est aliasée ?
essayer :
time --version
Oui, si tu utilises bash, 'help time' dans un terminal devrait t'en dir e
plus (ou 'alias time').
J'avais vérifié pour les alias.
help time ne m'apprend rien (ça raconte ce que ça fait mais pas qui l e fait, bash ou binaire indépendant du shell), en revanche dans le man bash on
trouve que time est un mot réservé.
La commande type, que j'avais oubliée est bien utile dans ce cas là :
$type time
time is a shell keyword
$type echo
echo is a shell builtin
$type ls
ls is aliased to `ls $LS_OPTIONS'
$type cat
cat is /bin/cat
Sinon, effectivement
time
fonctionne comme
/usr/bin/time
Si je comprend bien, l'anti-slash indique au shell de faire passer la com mande externe avant la commande interne. On en apprend tous les jours... (et
on devrait relire le man bash de temps en temps, mais il est vraiment lon g ;-) )
Daniel
PS: désolé pour le post en double, j'avais pas reçu le 1er et j'ai changé d'adresse d'expéditeur pensant m'être planté la 1re fois).
PS2: désolé pour les mails en PV, j'ai l'habitude du reply sans regar der sur les ml.
Le vendredi 04 août 2006 à 13:06 +0200, Guy Roussin a écrit :
Peut etre que time est une commande interne au shell utilisé ou qu'elle est aliasée ? essayer : time --version
Oui, si tu utilises bash, 'help time' dans un terminal devrait t'en dir e plus (ou 'alias time').
J'avais vérifié pour les alias.
help time ne m'apprend rien (ça raconte ce que ça fait mais pas qui l e fait, bash ou binaire indépendant du shell), en revanche dans le man bash on trouve que time est un mot réservé.
La commande type, que j'avais oubliée est bien utile dans ce cas là : $type time time is a shell keyword $type echo echo is a shell builtin $type ls ls is aliased to `ls $LS_OPTIONS' $type cat cat is /bin/cat
Sinon, effectivement time fonctionne comme /usr/bin/time
Si je comprend bien, l'anti-slash indique au shell de faire passer la com mande externe avant la commande interne. On en apprend tous les jours... (et on devrait relire le man bash de temps en temps, mais il est vraiment lon g ;-) )
Daniel
PS: désolé pour le post en double, j'avais pas reçu le 1er et j'ai changé d'adresse d'expéditeur pensant m'être planté la 1re fois). PS2: désolé pour les mails en PV, j'ai l'habitude du reply sans regar der sur les ml.
