2013-05-17 03:20:31 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
# Die if anything has an error
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
# Make sure we're run as root
|
2019-11-28 19:41:29 +00:00
|
|
|
scriptname=$(basename "$0")
|
|
|
|
|
if [ "$UID" -ne 0 ]; then
|
2013-05-17 03:20:31 +00:00
|
|
|
echo "${scriptname} must be run as root"
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
# Set the prefix for installation
|
|
|
|
|
PREFIX=/usr/local
|
|
|
|
|
|
|
|
|
|
# Jump to the Resources directory
|
|
|
|
|
cd "$(dirname "$0")"
|
|
|
|
|
|
|
|
|
|
# Add us to the shells list
|
|
|
|
|
./add-shell "${PREFIX}/bin/fish"
|
|
|
|
|
|
|
|
|
|
# Ditto the base directory to the right place
|
|
|
|
|
ditto ./base "${PREFIX}"
|
|
|
|
|
|
|
|
|
|
# Announce our success
|
|
|
|
|
echo "fish has been installed under ${PREFIX}/ and added to /etc/shells (if it was not already present)"
|
|
|
|
|
echo "To start fish, run:"
|
|
|
|
|
echo " ${PREFIX}/bin/fish"
|
|
|
|
|
echo "If you wish to change your default shell to fish, run:"
|
|
|
|
|
echo " chsh -s ${PREFIX}/bin/fish"
|
|
|
|
|
echo "Enjoy!"
|
