# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1385405170 28800
# Node ID 8741c4241a4ca1e0a8e3436fcc92dba414a7e6a8
# Parent  f98fe4362c844617ac45f19838bfa278e7d45d11
ps1

diff -r f98fe4362c84 -r 8741c4241a4c .bash_mozilla
--- a/.bash_mozilla	Tue Nov 19 14:12:38 2013 -0800
+++ b/.bash_mozilla	Mon Nov 25 10:46:10 2013 -0800
@@ -57,6 +57,7 @@
 
     # set environment variables
     export MOZCONFIG=${_MOZCONFIG}
+    export PS1="[${name}]${PS1}"
 
     # print info
     echo "Using MOZCONFIG=${MOZCONFIG} [${name}] :"