mirror of
https://github.com/hcartiaux/dotfiles.git
synced 2024-10-18 09:15:24 +02:00
[bash] bash_environment: fix the PATH, GNUPGHOME and eventually set the Vagrant provider
This commit is contained in:
parent
bcc21c3bd1
commit
96a01462fc
1 changed files with 7 additions and 1 deletions
|
@ -75,7 +75,7 @@ export DYLD_FALLBACK_LIBRARY_PATH=${LIBRARY_PATH}
|
|||
|
||||
# put ~/bin on PATH if you have it
|
||||
if [ -d "$HOME/bin" ]; then
|
||||
export PATH="$PATH:$HOME/bin:."
|
||||
export PATH="$PATH:$HOME/bin"
|
||||
fi
|
||||
export MANPATH="/usr/share/man:/usr/local/share/man:$MANPATH"
|
||||
|
||||
|
@ -111,6 +111,9 @@ export GIT_COMMITTER_EMAIL=$GIT_AUTHOR_EMAIL
|
|||
|
||||
unset SSH_ASKPASS
|
||||
|
||||
# GPG config
|
||||
export GNUPGHOME=~/.gnupg
|
||||
|
||||
# Easybuild BUILD PATH
|
||||
export EASYBUILDBUILDPATH=/tmp/
|
||||
|
||||
|
@ -123,6 +126,9 @@ test -n "$INTERACTIVE" && export BC_ENV_ARGS=~/.dotfiles/bc/bcrc
|
|||
# PDSH configuration
|
||||
export PDSH_SSH_ARGS_APPEND="-q -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o PreferredAuthentications=publickey"
|
||||
|
||||
# Vagrant configuration
|
||||
#export VAGRANT_DEFAULT_PROVIDER=lxc
|
||||
|
||||
# ----------------------------------------------------------------------
|
||||
# GRID5000 specific
|
||||
# ----------------------------------------------------------------------
|
||||
|
|
Loading…
Reference in a new issue