2017-12-14 02:19:50 +02:00
language : generic
sudo : false
2015-04-23 18:38:01 +03:00
env :
2017-12-16 00:15:00 +02:00
- ZSH=4
2017-12-15 23:34:08 +02:00
- ZSH=4 ZDOTDIR=tests/ZDOTDIR.options
2015-04-23 20:24:21 +03:00
- ZSH=4 ZDOTDIR=tests/ZDOTDIR.invalid-module_path
- ZSH=4 ZDOTDIR=tests/ZDOTDIR.loadviafunction
2017-12-16 00:15:00 +02:00
- ZSH=5
2017-12-15 23:34:08 +02:00
- ZSH=5 ZDOTDIR=tests/ZDOTDIR.options
2015-04-23 20:24:21 +03:00
- ZSH=5 ZDOTDIR=tests/ZDOTDIR.invalid-module_path
- ZSH=5 ZDOTDIR=tests/ZDOTDIR.loadviafunction
2015-04-23 18:34:59 +03:00
install :
2015-04-23 20:24:21 +03:00
- if [ "$ZSH" = 4 ]; then sudo apt-get install zsh; fi
2015-04-23 22:52:25 +03:00
- if [ "$ZSH" = 5 ]; then wget http://downloads.sourceforge.net/project/zsh/zsh/5.0.7/zsh-5.0.7.tar.bz2; tar xf zsh-5.0.7.tar.bz2; cd zsh-5.0.7; ./configure && sudo make && sudo make install; cd ..; fi
2017-12-14 02:19:50 +02:00
- pip install --user cram
2015-04-23 22:52:25 +03:00
- export SHELL=zsh
2015-04-23 18:34:59 +03:00
script :
- zsh --version
2017-12-16 00:11:20 +02:00
- make test ZDOTDIR=$ZDOTDIR