# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1622645431 -10800
# Node ID 54b3a34b8f2145a19c21f18a5ba3ebc513548b64
# Parent  710597383618abb985ea32806fbd979ed5d45a84
Include /usr/local/bin into PATH for "pip install" to be available.

diff -r 710597383618 -r 54b3a34b8f21 .env.bash
--- a/.env.bash	Wed Jun 02 13:39:08 2021 +0300
+++ b/.env.bash	Wed Jun 02 17:50:31 2021 +0300
@@ -35,6 +35,10 @@
 if [[ :$PATH: != *:/sbin:* ]]; then
   export PATH=/sbin:$PATH
 fi
+if [[ :$PATH: != *:/usr/local/bin:* ]]; then
+  export PATH=$PATH:/usr/local/bin
+fi
+# ~/.local/bin is default PATH for "pip install --user $PKG".
 if [[ :$PATH: != *:$HOME/.local/bin:* ]]; then
   export PATH=$PATH:$HOME/.local/bin
 fi