[ptxdist bash] Integrate prefixing "[ptx] " to PS1 in "ptxdist bash"

Invoke 'ptxdist bash' will give you a ptxdist environment with your
PS1 prompt prefixed with "[ptx] ", so that you are aware of the
environment your current shell is in.

Signed-off-by: Jon Ringle <jon@ringle.org>
[mkl: use ${BASH}, simplified exit]
Signed-off-by: Marc Kleine-Budde <mkl@pengutronix.de>

1 files changed, 13 insertions, 1 deletions

diff --git a/bin/ptxdist b/bin/ptxdist
index 2eebf6e5e..af602ae8c 100755
--- a/bin/ptxdist
+++ b/bin/ptxdist
@@ -802,6 +802,8 @@ Misc:
 				use 'newpackage help' for a longer description
   print <var>			print the contents of a variable, in the way
 				it is known by "make"
+  bash				enter a ptxdist environment bash shell
+  bash <cmd> [args...]		execute <cmd> in ptxdist environment
   export_src <target dir>	export all source archives needed for this
 				project to <target dir>
 Overwrite defaults:
@@ -1783,7 +1785,17 @@ parse_second()
 
 		bash)
 			check_premake_compiler &&
-			"${@}"
+			if [ ${#} -eq 0 ]; then
+				local bashrc="${PTXDIST_TEMPDIR}/bashrc"
+				cat > "${bashrc}" <<EOF
+. /etc/bash.bashrc
+. ~/.bashrc
+PS1="[ptx] \${PS1}"
+EOF
+				"${BASH}" --init-file "${bashrc}"
+			else
+				"${@}"
+			fi
 			exit
 			;;
 		clean)