From 30452e02082a3893340dc4a11d4a0fd35a4d0ab6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C5=A0tefan=20Bystriansky?= <bystriansky.stefan12@gmail.com>
Date: Sat, 14 Jan 2023 20:44:56 +0100
Subject: [PATCH] doplnenie PATH

---
 .profile | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/.profile b/.profile
index bb632cf..3bb1dea 100644
--- a/.profile
+++ b/.profile
@@ -15,3 +15,18 @@ if [ -n "$BASH_VERSION" ]; then
 	. "$HOME/.bashrc"
     fi
 fi
+
+# set PATH so it includes user's private bin if it exists
+if [ -d "$HOME/bin" ] ; then
+    PATH="$HOME/bin:$PATH"
+fi
+
+# set PATH so it includes user's private bin if it exists
+if [ -d "$HOME/.local/bin" ] ; then
+    PATH="$HOME/.local/bin:$PATH"
+fi
+
+if [ -d "$HOME/.binenv" ] ; then
+    PATH="${HOME}/.binenv:$PATH"
+    source <(binenv completion bash)
+fi