#!/bin/bash # # priority: 1100 # # Rebuild the Boot Manager # # Mark Huang # Copyright (C) 2006 The Trustees of Princeton University # # $Id$ # # Source function library and configuration . /etc/plc.d/functions . /etc/planetlab/plc_config # Be verbose set -x case "$1" in start) if [ "$PLC_BOOT_ENABLED" != "1" -a \ "$PLC_WWW_ENABLED" != "1" ] ; then exit 0 fi MESSAGE=$"Rebuilding Boot Manager" dialog "$MESSAGE" # Customize the Boot Manager pushd /var/www/html/boot /usr/share/bootmanager/build.sh check dirlist="" for i in `ls`; do if [ -d $i ]; then dirlist="$dirlist $i" fi done for dir in $dirlist ; do echo -n " $dir" /usr/share/bootmanager/build.sh $dir check done popd result "$MESSAGE" ;; esac exit $ERRORS