mirror of
https://github.com/hcartiaux/dotfiles.git
synced 2024-10-18 09:15:24 +02:00
[bash] g5k-specific puppet configuration
This commit is contained in:
parent
b9689653b6
commit
a5594170c0
1 changed files with 8 additions and 0 deletions
|
@ -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)
|
||||
# ----------------------------------------------------------------------
|
||||
|
|
Loading…
Reference in a new issue