2015-11-03 15:04:57 -08:00
|
|
|
#! /bin/bash
|
|
|
|
|
2017-03-23 15:42:54 -07:00
|
|
|
log "Compiling and installing fish-shell"
|
2015-11-03 15:04:57 -08:00
|
|
|
|
2019-11-12 17:59:41 -08:00
|
|
|
fish_shell_dir="$WORKSPACE/fish-shell"
|
2015-11-03 15:04:57 -08:00
|
|
|
|
2019-11-12 17:59:41 -08:00
|
|
|
if [ ! -d "$fish_shell_dir" ]; then
|
2015-11-03 15:04:57 -08:00
|
|
|
log "Cloning fish-shell"
|
2019-11-12 17:59:41 -08:00
|
|
|
git clone https://github.com/fish-shell/fish-shell "$fish_shell_dir"
|
2015-11-03 15:04:57 -08:00
|
|
|
else
|
2019-11-12 17:59:41 -08:00
|
|
|
(cd "$fish_shell_dir" && git pull)
|
2015-11-03 15:04:57 -08:00
|
|
|
fi
|
|
|
|
|
2019-11-12 17:59:41 -08:00
|
|
|
(cd "$fish_shell_dir" && ./configure && make && sudo make install)
|