Closed joneugster closed 1 month ago
This comes from a Zulip thread where a Windows user got stuck trying to call source ~/.bash_profile on their Windows machine. Restarting is completely over-the-top, but might be simple enough and easy to understand.
source ~/.bash_profile
This comes from a Zulip thread where a Windows user got stuck trying to call
source ~/.bash_profile
on their Windows machine. Restarting is completely over-the-top, but might be simple enough and easy to understand.