137 lines
4.0 KiB
Bash
Executable File
137 lines
4.0 KiB
Bash
Executable File
# ~/.bashrc: executed by bash(1) for non-login shells.
|
|
# see /usr/share/doc/bash/examples/startup-files (in the package bash-doc)
|
|
# for examples
|
|
|
|
# set user mask
|
|
umask 022
|
|
|
|
# If not running interactively, don't do anything
|
|
[ -z "$PS1" ] && return
|
|
|
|
export LC_ALL=en_US.utf8
|
|
export TERM=xterm-256color
|
|
|
|
# don't put duplicate lines in the history. See bash(1) for more options
|
|
# don't overwrite GNU Midnight Commander's setting of `ignorespace'.
|
|
export HISTCONTROL=$HISTCONTROL${HISTCONTROL+,}ignoredups
|
|
# ... or force ignoredups and ignorespace
|
|
export HISTCONTROL=ignoreboth
|
|
|
|
# append to the history file, don't overwrite it
|
|
shopt -s histappend
|
|
|
|
# for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
|
|
|
|
# check the window size after each command and, if necessary,
|
|
# update the values of LINES and COLUMNS.
|
|
shopt -s checkwinsize
|
|
|
|
# make less more friendly for non-text input files, see lesspipe(1)
|
|
[ -x /usr/bin/lesspipe ] && eval "$(SHELL=/bin/sh lesspipe)"
|
|
|
|
# set variable identifying the chroot you work in (used in the prompt below)
|
|
if [ -z "$debian_chroot" ] && [ -r /etc/debian_chroot ]; then
|
|
debian_chroot=$(cat /etc/debian_chroot)
|
|
fi
|
|
|
|
# set a fancy prompt (non-color, unless we know we "want" color)
|
|
case "$TERM" in
|
|
xterm-color) color_prompt=yes;;
|
|
esac
|
|
|
|
# uncomment for a colored prompt, if the terminal has the capability; turned
|
|
# off by default to not distract the user: the focus in a terminal window
|
|
# should be on the output of commands, not on the prompt
|
|
force_color_prompt=yes
|
|
|
|
if [ -n "$force_color_prompt" ]; then
|
|
if [ -x /usr/bin/tput ] && tput setaf 1 >&/dev/null; then
|
|
# We have color support; assume it's compliant with Ecma-48
|
|
# (ISO/IEC-6429). (Lack of such support is extremely rare, and such
|
|
# a case would tend to support setf rather than setaf.)
|
|
color_prompt=yes
|
|
else
|
|
color_prompt=
|
|
fi
|
|
fi
|
|
|
|
if [ "$color_prompt" = yes ]; then
|
|
PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u\[\033[01;36m\]@\h\[\033[00m\]:\[\033[01;34m\]\W\[\033[00m\]\$ '
|
|
else
|
|
PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '
|
|
fi
|
|
unset color_prompt force_color_prompt
|
|
|
|
# If this is an xterm set the title to user@host:dir
|
|
case "$TERM" in
|
|
xterm*|rxvt*)
|
|
PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
|
|
;;
|
|
*)
|
|
;;
|
|
esac
|
|
|
|
# Alias definitions.
|
|
# You may want to put all your additions into a separate file like
|
|
# ~/.bash_aliases, instead of adding them here directly.
|
|
# See /usr/share/doc/bash-doc/examples in the bash-doc package.
|
|
|
|
#if [ -f ~/.bash_aliases ]; then
|
|
# . ~/.bash_aliases
|
|
#fi
|
|
|
|
# enable color support of ls and also add handy aliases
|
|
if [ -x /usr/bin/dircolors ]; then
|
|
eval "`dircolors -b`"
|
|
alias ls='ls --color=auto'
|
|
#alias dir='ls --color=auto'
|
|
#alias vdir='ls --color=auto'
|
|
|
|
#alias grep='grep --color=auto'
|
|
#alias fgrep='fgrep --color=auto'
|
|
#alias egrep='egrep --color=auto'
|
|
fi
|
|
|
|
# some more ls aliases
|
|
alias ll='ls -l'
|
|
alias la='ls -A'
|
|
alias l='ls -CF'
|
|
|
|
alias rm='rm -i --preserve-root'
|
|
alias gcc='gcc-5'
|
|
alias g++='g++-5'
|
|
alias python='python3'
|
|
|
|
alias json='python -m json.tool'
|
|
|
|
GUROBI_PATH=${HOME}/.softwares/gurobi651/linux64
|
|
|
|
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib:${GUROBI_PATH}/lib
|
|
|
|
PATH=~/.softwares/bin:$PATH
|
|
PATH=$PATH:${GUROBI_PATH}/bin
|
|
export PATH
|
|
|
|
# enable programmable completion features (ycase ou don't need to enable
|
|
# this, if it's already enabled in /etc/bash.bashrc and /etc/profile
|
|
# sources /etc/bash.bashrc).
|
|
if [ -f /etc/bash_completion ]; then
|
|
. /etc/bash_completion
|
|
fi
|
|
|
|
# export python path
|
|
PYTHONPATH=${PYTHONPATH}:${HOME}/Dev/python/libs
|
|
PYTHONPATH=${PYTHONPATH}:/local/lib/python3.4
|
|
PYTHONPATH=${PYTHONPATH}:/usr/local/lib/python3.4
|
|
PYTHONPATH=${PYTHONPATH}:${GUROBI_PATH}/lib/python3.4_utf32
|
|
export PYTHONPATH
|
|
|
|
# data folders (may be used for multiple things)
|
|
export DATA_FOLDER=/net/cetus/data/ogsn
|
|
export DATASETS_FOLDER=${DATA_FOLDER}/datasets
|
|
export INSTANCES_FOLDER=${DATA_FOLDER}/instances
|
|
export RESULTS_FOLDER=${DATA_FOLDER}/results
|
|
|
|
# gurobi license file
|
|
export GRB_LICENSE_FILE=${GUROBI_PATH}/gurobi.lic
|