Questions marquées «bash»

110
Gestion de l'historique Bash avec plusieurs terminaux

J'utilise principalement Terminator, et il est généralement ouvert avec 3 fenêtres de terminal divisées. J'utilise aussi le terminal Gnome pour diverses raisons. Je me demande comment l’histoire de bash est gérée dans ce cas car je manque parfois des commandes précédemment émises lorsque je...

108
Que fait une commande "exec"?

Je ne comprends pas la commande bash exec. Je l'ai vu utilisé dans des scripts pour rediriger toutes les sorties vers un fichier (comme indiqué dans ceci ). Mais je ne comprends pas comment ça marche ou ce que ça fait en général. J'ai lu les pages de manuel mais je ne les comprends...

101
Comment exécuter un alias dans un script shell?

J'ai un fichier exécutable mpiexec, dont le chemin complet est ~/petsc-3.2-p6/petsc-arch/bin/mpiexec. Puisque je veux exécuter cette commande dans différents répertoires (sans avoir à ressaisir le chemin complet), j'ai créé un alias dans mon .bashrcfichier personnel: alias