1 files changed, 59 insertions, 0 deletions
diff --git a/dot_bashrc b/dot_bashrc
new file mode 100644
index 0000000..9b85a4e
--- /dev/null
+++ b/dot_bashrc
@@ -0,0 +1,59 @@
+#
+# ~/.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='ssh -t adnab.me irc'
+
+alias ocamltop='rlwrap ocaml "$@"'
+
+expand -t 4 $HOME/Core/TODO