Remplacer un Shell parent par un script

punk7as7fck · Le 14/03/2019, à 12:24

Autrement dit,obtenir le même résultat que:

exec echo adieu

( Pas de retour de shell puisqu'il n'existe plus )

;en utilisant un script,sans appeler le script avec exec(évidemment sinon c'est pas drôle)

Exemple fictif:

#!/bin/sh
# fichier: adieu.sh
echo Adieu
sort_de_ce_shell_et_ensuite_sort_du_shell_parent

Appelé comme cela:

./adieu.sh

?

pingouinux · Le 14/03/2019, à 12:41

Bonjour,
Tu peux ajouter à la fin de ton script :

kill -9 $PPID

bruno · Le 14/03/2019, à 13:16

Pourquoi ceci ne convient-il pas ?

echo adieu; exit 0

pingouinux · Le 14/03/2019, à 13:22

@bruno #3 : Parce que tu sors du script, mais ne ferme pas le terminal d'où tu l'as lancé

bruno · Le 14/03/2019, à 13:33

Bah, si.

pingouinux · Le 14/03/2019, à 13:39

Oui, mais punk7as7fck souhaite que les commandes soient dans un script, qu'il ne veut pas sourcer.

bruno · Le 14/03/2019, à 14:29

Ok. Mais je trouve ça très bourrin et risqué le kill -9 $PPID… d'ailleurs chez moi cela provoque une erreur.

#!/bin/bash
echo rien
kill -9 $PPID

Ne ferme pas le terminal et provoque une erreur : « Avertissement : Le programme « /bin/bash » s'est terminée d'une manière inattendue. »

Dernière modification par bruno (Le 14/03/2019, à 15:58)

punk7as7fck · Le 14/03/2019, à 14:53

pratique la var $PPID
Est-ce que c'est POSIX ?

message en #6,c'est ça.

Ubuntu-fr