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