blob: 9b85a4e997778a2218f44adc6071318ac9ca79fa (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
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
|
