2020-02-15 14:16:45 +00:00
|
|
|
|
|
|
|
# Add RVM to PATH for scripting. Make sure this is the last PATH variable change.
|
|
|
|
export PATH="$PATH:$HOME/.rvm/bin"
|
|
|
|
|
|
|
|
[[ -s "$HOME/.rvm/scripts/rvm" ]] && source "$HOME/.rvm/scripts/rvm" # Load RVM into a shell session *as a function*
|
|
|
|
|
2020-06-24 07:51:04 +00:00
|
|
|
export PROXY_HOST=""
|
|
|
|
export JETBRAINS_LICENSE_SERVER=""
|
|
|
|
|
2020-06-29 11:34:06 +00:00
|
|
|
if test -f "$HOME/.scripts/secrets.sh"; then
|
|
|
|
chmod +x "$HOME/.scripts/secrets.sh"
|
|
|
|
source "$HOME/.scripts/secrets.sh"
|
2020-06-24 07:51:04 +00:00
|
|
|
alias proxy='ssh -D 8000 -N $(whoami)@$PROXY_HOST -i ~/.ssh/id_ed25519'
|
|
|
|
fi
|
2020-02-15 14:16:45 +00:00
|
|
|
|
|
|
|
export PATH="$HOME/.cargo/bin:$PATH"
|