From 93e09f28bfe1e97d00a9ab6a15d3333b3025d7f7 Mon Sep 17 00:00:00 2001
From: Tru  HUYNH <tru@pasteur.fr>
Date: Wed, 27 Jun 2018 18:29:00 +0200
Subject: [PATCH] copied verbatim from CentOS-7

---
 bash_profile | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 bash_profile

diff --git a/bash_profile b/bash_profile
new file mode 100644
index 0000000..031ab84
--- /dev/null
+++ b/bash_profile
@@ -0,0 +1,12 @@
+# .bash_profile
+
+# Get the aliases and functions
+if [ -f ~/.bashrc ]; then
+	. ~/.bashrc
+fi
+
+# User specific environment and startup programs
+
+PATH=$PATH:$HOME/.local/bin:$HOME/bin
+
+export PATH
-- 
GitLab