mirror of
https://github.com/fish-shell/fish-shell.git
synced 2024-11-23 19:19:58 +08:00
32 lines
737 B
Bash
32 lines
737 B
Bash
|
#!/bin/sh
|
||
|
|
|
||
|
|
# Die if anything has an error
|
||
|
|
set -e
|
||
|
|
|
||
|
|
# Make sure we're run as root
|
||
|
|
scriptname=`basename "$0"`
|
||
|
|
if [[ $UID -ne 0 ]]; then
|
||
|
|
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!"
|