ci(tools): add /etc/profile.d/r.sh to ~/.bashrc in gh-setup-env

vpayno · Mar 30, 2024 · 271f1e1 · 271f1e1
1 parent 02d3d49
commit 271f1e1
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/citools/common/gh-setup-env b/.github/citools/common/gh-setup-env
@@ -172,6 +172,14 @@ main() {
 
 	print_ruler
 
+	source /etc/profile.d/r.sh || track_errors
+
+	echo Adding source /etc/profile.d/r.sh to ~/.bashrc
+	echo '. /etc/profile.d/r.sh' | tee -a "${HOME}/.bashrc" || track_errors
+	printf "\n"
+
+	print_ruler
+
 	tail -n 1000 -v "${GITHUB_PATH}"
 
 	print_ruler