Discussion :

[xavierdestev]

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.

[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

[jlliagre]

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, ...).

[xavierdestev]

Bonjour,

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?

[frp31]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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
$

[jlliagre]

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é.

[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...

[frp31]

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