diff --git a/bash/bash_environment b/bash/bash_environment
index 290f043..7041234 100644
--- a/bash/bash_environment
+++ b/bash/bash_environment
@@ -147,6 +147,14 @@ if [[ -n "$(echo $FQDN | grep -o .grid5000.fr)" ]] ; then
 #  export https_proxy=$http_proxy
 fi
 
+# Grid5000 Puppet 4 admin tools
+export GPUPPET_PREFIX=/home/hcartiaux/.gpuppet
+export GPUPPET_PLATFORM=production
+export GPUPPET_LOCATION=luxembourg
+export GPUPPET_USER=hcartiaux
+export GPUPPET_SSH_CONFIG=$GPUPPET_PREFIX/ssh/config
+alias cdgp='cd $GPUPPET_PREFIX/repo && source setup_env.sh && echo "==> Grid5000 Puppet 4 repository"'
+
 # ----------------------------------------------------------------------
 #  GAIA specific (XCS Portal config)
 # ----------------------------------------------------------------------