From 69323e77cc080d35387762eeb7dc26062ac159ea Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mislav=20Marohni=C4=87?= <git@mislav.net>
Date: Wed, 29 Sep 2021 20:23:42 +0200
Subject: [PATCH] Clarify bash config for Ubuntu Desktop vs. other platforms

Fixes #1130
---
 README.md | 17 +++++++----------
 1 file changed, 7 insertions(+), 10 deletions(-)

diff --git a/README.md b/README.md
index d9ec8f5b..ba142991 100644
--- a/README.md
+++ b/README.md
@@ -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