diff --git a/.gitmodules b/.gitmodules index b66fe48..ab0ebd4 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,9 @@ [submodule ".oh-my-zsh"] path = .oh-my-zsh 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 diff --git a/path.sh b/path.sh index f83b336..d0a8bb0 100644 --- a/path.sh +++ b/path.sh @@ -1,5 +1,9 @@ #!/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) if [ -e "$GUROBI_PATH" ]; then diff --git a/zsh-custom/plugins/zsh-autosuggestions b/zsh-custom/plugins/zsh-autosuggestions new file mode 160000 index 0000000..fedc22e --- /dev/null +++ b/zsh-custom/plugins/zsh-autosuggestions @@ -0,0 +1 @@ +Subproject commit fedc22e9bbd046867860e772d7d6787f5dae9d4c diff --git a/zsh-custom/plugins/zsh-syntax-highlighting b/zsh-custom/plugins/zsh-syntax-highlighting new file mode 160000 index 0000000..73cb832 --- /dev/null +++ b/zsh-custom/plugins/zsh-syntax-highlighting @@ -0,0 +1 @@ +Subproject commit 73cb83270262bbb6bf110a8a6a99f36db8f56cef