Clarify bash config for Ubuntu Desktop vs. other platforms

Fixes #1130
This commit is contained in:
Mislav Marohnić 2021-09-29 20:23:42 +02:00
parent 526f2de13d
commit 69323e77cc

View file

@ -209,20 +209,17 @@ a systemwide install.
command-line utility.
* For **bash**:
Ubuntu Desktop users should configure `~/.bashrc`:
~~~ bash
$ echo 'export PATH="$HOME/.rbenv/bin:$PATH"' >> ~/.bashrc
~~~
On other platforms, bash is usually configured via `~/.bash_profile`:
~~~ bash
$ echo 'export PATH="$HOME/.rbenv/bin:$PATH"' >> ~/.bash_profile
~~~
* For **Ubuntu Desktop**:
In Ubuntu ~/.bash_profile is only sourced by bash when started in interactive login mode.
That is typically only when you login at the console (Ctrl+Alt+F1..F6), or connecting via ssh.
This issue is explained in detail
[here](https://askubuntu.com/questions/121073/why-bash-profile-is-not-getting-sourced-when-opening-a-terminal#121075).
~~~ bash
$ echo 'export PATH="$HOME/.rbenv/bin:$PATH"' >> ~/.profile
~~~
* For **Zsh**:
~~~ zsh
$ echo 'export PATH="$HOME/.rbenv/bin:$PATH"' >> ~/.zshrc