Add plugins and update paths.

This commit is contained in:
2017-03-16 14:35:15 +01:00
parent fa7675894d
commit 875831fc1d
4 changed files with 12 additions and 0 deletions

6
.gitmodules vendored
View File

@@ -1,3 +1,9 @@
[submodule ".oh-my-zsh"] [submodule ".oh-my-zsh"]
path = .oh-my-zsh path = .oh-my-zsh
url = https://github.com/robbyrussell/oh-my-zsh.git url = https://github.com/robbyrussell/oh-my-zsh.git
[submodule "zsh-custom/plugins/zsh-autosuggestions"]
path = zsh-custom/plugins/zsh-autosuggestions
url = git://github.com/zsh-users/zsh-autosuggestions
[submodule "zsh-custom/plugins/zsh-syntax-highlighting"]
path = zsh-custom/plugins/zsh-syntax-highlighting
url = git://github.com/zsh-users/zsh-syntax-highlighting

View File

@@ -1,5 +1,9 @@
#!/bin/sh #!/bin/sh
PYTHONPATH=${PYTHONPATH}:${HOME}/Dev/python/libs
PYTHONPATH=${PYTHONPATH}:/local/lib/python3.4
PYTHONPATH=${PYTHONPATH}:/usr/local/lib/python3.4
GUROBI_PATH=$(ls -d $HOME/.softwares/gurobi*/linux64 2> /dev/null) GUROBI_PATH=$(ls -d $HOME/.softwares/gurobi*/linux64 2> /dev/null)
if [ -e "$GUROBI_PATH" ]; then if [ -e "$GUROBI_PATH" ]; then