diff options
Diffstat (limited to 'dot_zshrc')
| -rw-r--r-- | dot_zshrc | 21 |
1 files changed, 18 insertions, 3 deletions
@@ -56,19 +56,34 @@ alias ls='ls --color=auto' export EDITOR=vim export GOPATH=$HOME/go -export PATH=$PATH:$HOME/usr/bin +export PATH=$PATH:$HOME/usr/bin:$HOME/go/bin export LD_LIBRARY_PATH=$HOME/usr/lib export WINEARCH=win32 -alias clipper='ssh auvolat@sas.eleves.ens.fr' +alias clipper='ssh -R 9876:localhost:9872 auvolat@sas.eleves.ens.fr' alias cargo='ssh auvolat@cargo.ens.fr' alias tremble='ssh auvolat@tremble.ens.fr' alias tulipier='ssh auvolat@tulipier.ens.fr' # conseil : utiliser tulipier pour bosser, sas.eleves pour IRC +alias vps='ssh katchup@vps46149.ovh.net' +alias irc='ssh -t -R 9872:localhost:9872 adnab.me irc' + +alias ocamltop='rlwrap ocaml "$@"' + # TADA -expand -t 4 $HOME/TODO +expand -t 4 $HOME/Core/TODO + + + +export CLOUDSDK_PYTHON=/usr/bin/python2 +export PATH=$PATH:$HOME/usr/google-cloud-sdk/bin +source $HOME/usr/google-cloud-sdk/completion.zsh.inc +# OPAM configuration +. /home/katchup/.opam/opam-init/init.zsh > /dev/null 2> /dev/null || true +export PATH=$PATH:$HOME/usr/google-cloud-sdk/bin:$HOME/.opam/system/bin +export SDL_VIDEO_X11_DGAMOUSE=0 |