From a8edf0a2b530e304907a6e125babf182032fa6ab Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Mon, 2 Mar 2015 16:11:40 +0100
Subject: [PATCH] Bootstrap/install_pmodules.sh: install environment.bash and
 profile.bash

---
 scripts/Bootstrap/install_pmodules.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/Bootstrap/install_pmodules.sh b/scripts/Bootstrap/install_pmodules.sh
index b540c0e..0a488b1 100755
--- a/scripts/Bootstrap/install_pmodules.sh
+++ b/scripts/Bootstrap/install_pmodules.sh
@@ -24,6 +24,9 @@ install -m 0755 "${SRC_DIR}/init_local_env.bash" "${PMODULES_HOME}/bin"
 install -m 0755 "${SRC_DIR}/modsync.bash" "${PMODULES_HOME}/bin"
 install -m 0755 "${SRC_DIR}/dialog.bash" "${PMODULES_HOME}/bin"
 
+install -m 0755 "${SRC_DIR}/environment.bash" "${PMODULES_HOME}/config"
+install -m 0755 "${SRC_DIR}/profile.bash" "${PMODULES_HOME}/config"
+
 install -m 0644 "${SRC_DIR}/bash" "${PMODULES_HOME}/init"
 install -m 0644 "${SRC_DIR}/bash_completion" "${PMODULES_HOME}/init"