Script bash commande personnelle

Version imprimable

27/12/2013, 21h40
xavierdestev

Script bash commande personnelle

Bonjour,

Je voudrais faire une commande bash personnelle time
qui m'appellerais un script bash situé dans un autre répertoire?

Savez-vous comment faire?

Le problème est que je souhaites faire un script bash que l'on puisse utiliser dans plusieurs répertoires.

Merci d'avance.
28/12/2013, 11h00
frp31
il suffit que :
- ton script soit dans le path (par exemple /usr/bin/)
- qu'il soit executable bien sur
- que time soit renomé par exemple en time.original
une autre méthode (mais limitée à 1 utilisateur)
- un alias dans le .bashrc ou le .profile de l'utilisateur nomé time
- ce dernier lance une fonction elle meme écrite dans ce fichier
28/12/2013, 11h47
jlliagre

Citation:

Envoyé par xavierdestev

Je voudrais faire une commande bash personnelle time
qui m'appellerais un script bash situé dans un autre répertoire?

"time" est un mot clef du shell, impossible de le renommer en time.original donc. Je ne pense pas non plus qu'il soit possible de définir un script ou une fonction qui le surcharge.

Tu peux par contre créer un alias qui appellerait ton script à qui tu donnerais un autre nom.

Si tu veux que cet alias soit défini pour tous les utilisateurs, il faut le mettre dans un fichier global (/etc/bash.bashrc, /etc/profile, ...).
28/12/2013, 12h54
xavierdestev

Bonjour,

Citation:

Envoyé par frp31

une autre méthode (mais limitée à 1 utilisateur)

un alias dans le .bashrc ou le .profile de l'utilisateur nomé time
ce dernier lance une fonction elle meme écrite dans ce fichier

-> Comment peut-on créer un alias dans le .bashrc?

Code:

1
2
3
4
5
6
7
8
 
#[...]
tafonction ()
{
# ton code ici
}
 
alias commande='tafonction'

PS:si time est une commande sur certains systèmes & distros

Code:

1
2
3
4
5
$ whereis time
/usr/bin/time
$ ls -l /usr/bin/time
-r-xr-xr-x  1 root  bin  10192 Jul 30 19:53 /usr/bin/time
$

29/12/2013, 17h21
jlliagre

Citation:

Envoyé par frp31

PS:si time est une commande sur certains systèmes & distros

C'est vrai, mais la question précise bash avec lequel on ne peut pas surcharger un mot clef, sauf bien sûr en donnant un chemin absolu ou relatif vers la commande externe.
En revanche, avec dash, c'est bien /usr/bin/time qui est exécuté.
29/12/2013, 18h58
disedorgue

Bonjour,
A ce propos, quelqu'un aurait une idée du pourquoi en bash, c'est un mot clé et non pas une builtin (ou comme on semble dire en français une primitive) ?
Car si cela avait été une builtin, on aurait pu la désactiver...
29/12/2013, 22h00
jlliagre
C'est parce que ce n'est pas une commande "normale". time ignore les redirections et traite un "pipeline" comme une entité unique, ce que ne peut pas faire la commande externe de même nom:
Code:

1 2 3 4 5 6 7 8 $ time -p sleep 1 | sleep 2 real 2.00 user 0.00 sys 0.00 $ /usr/bin/time -p sleep 1 | sleep 2 real 1.00 user 0.00 sys 0.00
30/12/2013, 16h12
frp31

Citation:

Envoyé par jlliagre

C'est vrai, mais la question précise bash avec lequel on ne peut pas surcharger un mot clef, sauf bien sûr en donnant un chemin absolu ou relatif vers la commande externe.
En revanche, avec dash, c'est bien /usr/bin/time qui est exécuté.

bien vu ;)