PORT=4881
-cd $DEV/../../; # $IP
+cd "$DEV/../../"; # $IP
-mkdir $DEV/data
-$DEV/php/bin/php maintenance/install.php --server="http://localhost:$PORT" --scriptpath="" --dbtype=sqlite --dbpath=$DEV/data --pass=admin "Trunk Test" $USER
+mkdir "$DEV/data"
+"$DEV/php/bin/php" maintenance/install.php --server="http://localhost:$PORT" --scriptpath="" --dbtype=sqlite --dbpath="$DEV/data" --pass=admin "Trunk Test" "$USER"
echo ""
echo "Development wiki created with admin user $USER and password 'admin'."
echo ""
set -e # DO NOT USE PIPES unless this is rewritten
-if [ -d $DEV/php ]; then
+if [ -d "$DEV/php" ]; then
echo "PHP is already installed"
exit 1
fi
TAR=php5.4-latest.tar.gz
-PHPURL=http://snaps.php.net/$TAR
+PHPURL="http://snaps.php.net/$TAR"
-cd $DEV
+cd "$DEV"
# Some debain-like systems bundle wget but not curl, some other systems
# like os x bundle curl but not wget... use whatever is available
echo -n "Downloading PHP 5.4"
if command -v wget &>/dev/null; then
echo "- using wget"
- wget $PHPURL
+ wget "$PHPURL"
elif command -v curl &>/dev/null; then
echo "- using curl"
- curl -O $PHPURL
+ curl -O "$PHPURL"
else
echo "- aborting"
echo "Could not find curl or wget." >&2;
fi
echo "Extracting php 5.4"
-tar -xzf $TAR
+tar -xzf "$TAR"
cd php5.4-*/
-echo "Configuring and installing php 5.4 in $IP/maintenance/dev/php/"
-./configure --prefix=$DEV/php/
+echo "Configuring and installing php 5.4 in \$IP/maintenance/dev/php/"
+./configure --prefix="$DEV/php/"
make
make install