J'ai regardé autour de moi et mordu pour trouver une réponse à cette question mais je ne semble pas la trouver (ce qui est étrange).
Ma question est la suivante: existe-t-il un moyen simple de redémarrer la session bash à partir du terminal sur mac? Je veux juste le même comportement que si je fermais l'application de terminal et la redémarrais (toutes les variables réinitialisées, .bash_profile provenant de etc.).
Je sais comment .bash_profile, mais ce n'est pas ce que je veux. Une des raisons pour lesquelles je souhaite procéder est qu’un plugin pour mon invite bash contient un code qui empêche le chargement des couleurs plusieurs fois. Par conséquent, l'approvisionnement en .bash_profile ne recharge pas les variables de couleur et je dois redémarrer l'application de terminal pour que les modifications prennent effet.
exec bash
redémarre-t-il alors ce shell interactif? Aussi, pouvez-vous expliquer exactement ce que fait la commande exec et ses options? Merci!