From 85adffc4792d573815a2a199e604062494b83472 Mon Sep 17 00:00:00 2001 From: Mark Huang Date: Fri, 7 Apr 2006 03:58:07 +0000 Subject: [PATCH] - fix /etc/issue generation --- build.sh | 19 +++++++++++++++++-- 1 file changed, 17 insertions(+), 2 deletions(-) diff --git a/build.sh b/build.sh index 787676f..3e34f53 100755 --- a/build.sh +++ b/build.sh @@ -10,7 +10,7 @@ # Mark Huang # Copyright (C) 2004-2006 The Trustees of Princeton University # -# $Id: build.sh,v 1.33 2006/04/03 20:07:45 mlhuang Exp $ +# $Id: build.sh,v 1.34 2006/04/07 03:50:08 mlhuang Exp $ # PATH=/sbin:/bin:/usr/sbin:/usr/bin @@ -68,6 +68,9 @@ elif [ -d configurations/$CONFIGURATION ] ; then # (Deprecated) Source static configuration . configurations/$CONFIGURATION/configuration PLC_NAME="PlanetLab" + PLC_MAIL_SUPPORT_ADDRESS="support@planet-lab.org" + PLC_WWW_HOST="www.planet-lab.org" + PLC_WWW_PORT=80 if [ -n "$EXTRA_VERSION" ] ; then BOOTCD_VERSION="$BOOTCD_VERSION $EXTRA_VERSION" fi @@ -118,10 +121,21 @@ echo "$PLC_BOOT_SSL_PORT" >$overlay/usr/bootme/BOOTPORT # Generate /etc/issue echo "* Generating /etc/issue" + +if [ "$PLC_WWW_PORT" = "443" ] ; then + PLC_WWW_URL="https://$PLC_WWW_HOST/" +elif [ "$PLC_WWW_PORT" != "80" ] ; then + PLC_WWW_URL="http://$PLC_WWW_HOST:$PLC_WWW_PORT/" +else + PLC_WWW_URL="http://$PLC_WWW_HOST/" +fi + mkdir -p $overlay/etc cat >$overlay/etc/issue <