From 7e162ca91b3168514808eb4c16b379429d25bb4f Mon Sep 17 00:00:00 2001 From: dany Date: Mon, 22 Aug 2022 12:02:21 +0200 Subject: [PATCH] Add user private bin dossier to PATH --- profile | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 profile diff --git a/profile b/profile new file mode 100644 index 0000000..bac5ec1 --- /dev/null +++ b/profile @@ -0,0 +1,19 @@ +# set PATH so it includes user's private bin if it exists +if [ -d "$HOME/bin" ] ; then + export PATH="$HOME/bin:$PATH" +fi + +# set PATH so it includes user's private bin if it exists +if [ -d "$HOME/.local/bin" ] ; then + export PATH="$HOME/.local/bin:$PATH" +fi + +# set user private LIB search path +if [ -d "$HOME/lib" ] ; then + export LD_LIBRARY_PATH="$HOME/lib:$LD_LIBRARY_PATH" +fi + +# set user private LIB search path +if [ -d "$HOME/.local/lib" ] ; then + export LD_LIBRARY_PATH="$HOME/.local/lib:$LD_LIBRARY_PATH" +fi \ No newline at end of file