Add .gitignore
This commit is contained in:
parent
59e4b591c6
commit
0bf45b07fd
16
.bashrc
16
.bashrc
@ -2,7 +2,8 @@
|
||||
# see /usr/share/doc/bash/examples/startup-files (in the package bash-doc)
|
||||
# for examples
|
||||
|
||||
PATH=~/.softwares/bin:$PATH
|
||||
# set user mask
|
||||
umask 022
|
||||
|
||||
# If not running interactively, don't do anything
|
||||
[ -z "$PS1" ] && return
|
||||
@ -100,7 +101,13 @@ alias python='python3'
|
||||
|
||||
alias json='python -m json.tool'
|
||||
|
||||
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib
|
||||
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
|
||||
@ -113,6 +120,7 @@ fi
|
||||
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)
|
||||
@ -121,5 +129,5 @@ export DATASETS_FOLDER=${DATA_FOLDER}/datasets
|
||||
export INSTANCES_FOLDER=${DATA_FOLDER}/instances
|
||||
export RESULTS_FOLDER=${DATA_FOLDER}/results
|
||||
|
||||
# set user mask
|
||||
umask 022
|
||||
# gurobi license file
|
||||
export GRB_LICENSE_FILE=${GUROBI_PATH}/gurobi.lic
|
||||
|
11830
.emacs.d/one-file-mode/web-mode.el
Normal file
11830
.emacs.d/one-file-mode/web-mode.el
Normal file
File diff suppressed because it is too large
Load Diff
3
.gitignore
vendored
3
.gitignore
vendored
@ -3,3 +3,6 @@
|
||||
.emacs.d/auto-save-list
|
||||
.emacs.d/ac-comphist.dat
|
||||
*~
|
||||
.emacs.d/tramp
|
||||
fish/fish_history
|
||||
fish/fishd.*
|
||||
|
Loading…
Reference in New Issue
Block a user