# # ~/.bashrc # # If not running interactively, don't do anything [[ $- != *i* ]] && return complete -cf sudo complete -cf man shopt -s autocd alias ls='ls --color=auto' alias df='dfc' PS1='[\u@\h \W]\$ ' export EDITOR='vim' export GOPATH=$HOME/go export PATH=$PATH:$HOME/usr/bin:$HOME/go/bin export LD_LIBRARY_PATH=$HOME/usr/lib # PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"' export WINEARCH=win32 # -- GIT prompt GIT_PROMPT_FETCH_REMOTE_STATUS=0 GIT_PROMPT_START="\n\[\033[0m\][\$(if [[ \$? == 0 ]]; then echo \"\[\033[0;32m\]\$?\"; else echo \"\[\033[0;31m\]\$?\"; fi)\[\033[00m\]] \[\033[0;36m\]\u@\h \[\033[0;33m\]\w\[\033[0m\]" GIT_PROMPT_END="\[\033[0m\]\n \$ " source ~/usr/src/bash-git-prompt/gitprompt.sh # ------------ GOOGLE CLOUD SDK # The next line updates PATH for the Google Cloud SDK. source /home/katchup/usr/google-cloud-sdk/path.bash.inc # The next line enables bash completion for gcloud. source /home/katchup/usr/google-cloud-sdk/completion.bash.inc # ------------ OPAM configuration . /home/katchup/.opam/opam-init/init.sh > /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 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='TERM=xterm ssh -t adnab.me /usr/local/bin/irc' alias ocamltop='rlwrap ocaml "$@"' expand -t 4 $HOME/Core/TODO