2017-12-14 01:19:50 +01:00
language : generic
sudo : false
2015-04-23 17:38:01 +02:00
env :
2015-04-23 19:24:21 +02:00
- ZSH=4 ZDOTDIR=tests/ZDOTDIR
- ZSH=4 ZDOTDIR=tests/ZDOTDIR.clobber
- ZSH=4 ZDOTDIR=tests/ZDOTDIR.invalid-module_path
- ZSH=4 ZDOTDIR=tests/ZDOTDIR.loadviafunction
- ZSH=5 ZDOTDIR=tests/ZDOTDIR
- ZSH=5 ZDOTDIR=tests/ZDOTDIR.clobber
- ZSH=5 ZDOTDIR=tests/ZDOTDIR.invalid-module_path
- ZSH=5 ZDOTDIR=tests/ZDOTDIR.loadviafunction
2015-04-23 17:34:59 +02:00
install :
2015-04-23 19:24:21 +02:00
- if [ "$ZSH" = 4 ]; then sudo apt-get install zsh; fi
2015-04-23 21:52:25 +02: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 01:19:50 +01:00
- pip install --user cram
2015-04-23 21:52:25 +02:00
- export SHELL=zsh
2015-04-23 17:34:59 +02:00
script :
- zsh --version
2017-12-15 23:11:20 +01:00
- make test ZDOTDIR=$ZDOTDIR