#! /bin/bash

log "Compiling and installing fish-shell"

fish_shell_dir="$WORKSPACE/fish-shell"

if [ ! -d "$fish_shell_dir" ]; then
    log "Cloning fish-shell"
    git clone https://github.com/fish-shell/fish-shell "$fish_shell_dir"
else
    (cd "$fish_shell_dir" && git pull)
fi

(cd "$fish_shell_dir" && ./configure && make && sudo make install)