:scroll: Documentation > BASH > no more session close required

[adriens]

:grey_question: Context

Currently, the documentation tells to restart the shell :

which can be annoying in some situations.

:bulb: Proposal

Therefore sourcing the .profile should ne enough.

[adriens]

:point_right: See #806 for more

[ahmetb]

I don't have a .profile file. I think it's a lot cleaner to just restart the shell. Not all bashrc/zshrc/profile files are idempotent either (they're meant to be run once per session, otherwise can have unexpected results). I don't see a clear value-add here either.

[adriens]

:+1: