3 ###############################################################################
5 ## elilo installs efi bootloader onto a bootstrap partition (based on ybin)
6 ## Copyright (C) 2001 Ethan Benson
8 ## This program is free software; you can redistribute it and/or
9 ## modify it under the terms of the GNU General Public License
10 ## as published by the Free Software Foundation; either version 2
11 ## of the License, or (at your option) any later version.
13 ## This program is distributed in the hope that it will be useful,
14 ## but WITHOUT ANY WARRANTY; without even the implied warranty of
15 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 ## GNU General Public License for more details.
18 ## You should have received a copy of the GNU General Public License
19 ## along with this program; if not, write to the Free Software
20 ## Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
22 ###############################################################################
24 PATH="/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin"
25 ## allow to run out of /target in boot-floppies
26 if [ -n "$PATH_PREFIX" ] ; then
27 PATH="${PATH}:${PATH_PREFIX}/sbin:${PATH_PREFIX}/bin:${PATH_PREFIX}/usr/sbin:${PATH_PREFIX}/usr/bin:${PATH_PREFIX}/usr/local/sbin:${PATH_PREFIX}/usr/local/bin"
30 SIGINT="$PRG: Interrupt caught ... exiting"
36 # Beware, /EFI/debian occurs with double backslashes in the script too
37 # so change those as well as EFIROOT, if need be.
41 ARCHITECTURE=$(dpkg --print-architecture)
43 ## catch signals, clean up junk in /tmp.
45 trap "cleanup; exit 129" HUP
46 trap "echo 1>&2 $SIGINT ; cleanup; exit 130" INT
47 trap "cleanup; exit 131" QUIT
48 trap "cleanup; exit 143" TERM
50 ## define default config file
53 ERR=" Error in $CONF:"
55 ## define default configuration
58 ## allow default to work on packaged and non-packaged elilo.
59 if [ -f /usr/local/lib/elilo/elilo.efi ] ; then
60 install=/usr/local/lib/elilo/elilo.efi
61 elif [ -f /usr/lib/elilo/elilo.efi ] ; then
62 install=/usr/lib/elilo/elilo.efi
71 ## elilo autoconf defaults
76 # image default is controlled by /etc/kernel-img.conf, if it exists
77 if [ -f /etc/kernel-img.conf ] &&
78 grep -E -qi "^(image|link)_in_boot *= *yes" /etc/kernel-img.conf; then
80 initrdline=initrd=/boot/initrd.img
81 initrdoldline=initrd=/boot/initrd.img.old
84 initrdline=initrd=/initrd.img
85 initrdoldline=initrd=/initrd.img.old
87 if [ -f /etc/kernel-img.conf ] &&
88 ! grep -qi "^do_initrd *= *yes" /etc/kernel-img.conf; then
93 ## make fake `id' if its missing, outputs 0 since if its missing we
94 ## are probably running on boot floppies and thus are root.
95 if (command -v id > /dev/null 2>&1) ; then
109 Written by Richard Hirst, based on work by Ethan Benson
111 This is free software; see the source for copying conditions. There is NO
112 warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE."
119 "Usage: $PRG [OPTION]...
120 Update/install bootloader onto a bootstrap partition.
122 -b, --boot set bootstrap partition device [ -b /dev/sda1 ]
123 -i, --install pathname to the actual bootloader binary
124 default: /usr/{local/}lib/elilo/elilo.efi
125 -C, --config use alternate configuration file [ -C config_file ]
126 --autoconf auto-generate a /etc/elilo.conf
127 --efiboot elilo auto configuration: create an efi boot
128 manager entry for elilo
129 --timeout elilo auto configuration: sets the time elilo
130 will wait for user input before booting default
131 image default: 20 (2 seconds)
132 --image elilo auto configuration: sets the path to the
133 kernel image. default: /vmlinuz
134 --label elilo auto configuration: sets the image label
136 --root elilo auto configuration: sets the root device
138 --format create a new FAT filesystem on the boot partition
139 -v, --verbose make $PRG more verbose
140 --debug print boring junk only useful for debugging
141 -h, --help display this help and exit
142 -V, --version output version information and exit"
145 ## we have to do some things differently with a retarded devfs name.
149 /dev/ide/*|/dev/scsi/*|/dev/discs/*)
158 ## the SmartArray RAID controllers use /dev/cciss/c0d0p1 kinds of names...
172 ## configuration file parsing. FIXME: need a method which can parse
178 v=`grep "^$2[\ ,=]" "$CONF"` ; echo "${v#*=}"
181 grep "^$2\>" "$CONF" > /dev/null && echo 0 || echo 1
184 grep "^$2[\ ,=]" "$CONF" > /dev/null && echo 0 || echo 1
189 ## check for existence of a configuration file, and make sure we have
193 if [ ! -e "$CONF" ] ; then
194 echo 1>&2 "$PRG: $CONF: No such file or directory"
196 elif [ ! -f "$CONF" ] ; then
197 echo 1>&2 "$PRG: $CONF: Not a regular file"
199 elif [ ! -r "$CONF" ] ; then
200 echo 1>&2 "$PRG: $CONF: Permission denied"
207 ## check to make sure the configuration file is sane and correct.
208 ## maybe this is an insane ammount of error checking, but I want to
209 ## make sure (hopefully) nothing unexpected ever happens. and i just
210 ## like useful errors from programs. every error just marks an error
211 ## variable so we give the user as much info as possible before we
215 if [ -L "$boot" ] ; then
217 boot=$(readlink -f $oldboot)
219 if [ ! -e "$boot" ] ; then
220 echo 1>&2 "$PRG: $boot: No such file or directory"
222 elif [ ! -b "$boot" ] && [ ! -f "$boot" ] ; then
223 echo 1>&2 "$PRG: $boot: Not a regular file or block device"
225 elif [ ! -w "$boot" ] || [ ! -r "$boot" ] ; then
226 echo 1>&2 "$PRG: $boot: Permission denied"
230 ## sanity check, make sure boot=bootstrap and not something dumb
234 echo 1>&2 "$PRG:$ERR \`boot=$boot' would result in the destruction of all data on $boot"
238 echo 1>&2 "$PRG:$ERR \`boot=$boot' would result in the destruction of all data on $boot"
242 echo 1>&2 "$PRG:$ERR \`boot=$boot' would result in the destruction of all data on $boot"
247 ## now make sure its not something dumb like the root partition
248 ROOT="$(v=`df / 2> /dev/null | grep ^/dev/` ; echo ${v%%[ ]*})"
249 BOOT="$(v=`df /boot 2> /dev/null | grep ^/dev/` ; echo ${v%%[ ]*})"
250 if [ "$boot" = "$ROOT" ] ; then
251 echo 1>&2 "$PRG:$ERR \`boot=$boot' would result in the destruction of the root filesystem"
253 elif [ "$boot" = "$BOOT" ] ; then
254 echo 1>&2 "$PRG:$ERR \`boot=$boot' would result in the destruction of the /boot filesystem"
258 ## Make sure boot is not already mounted
259 mount | grep "^$boot " > /dev/null
261 echo 1>&2 "$PRG: $boot appears to be mounted"
265 if [ ! -e "$install" ] ; then
266 echo 1>&2 "$PRG: $install: No such file or directory"
268 elif [ ! -f "$install" ] ; then
269 echo 1>&2 "$PRG: $install: Not a regular file"
271 elif [ ! -r "$install" ] ; then
272 echo 1>&2 "$PRG: $install: Permission denied"
276 if [ ! -e "$bootconf" ] ; then
277 echo 1>&2 "$PRG: $bootconf: No such file or directory"
279 elif [ ! -f "$bootconf" ] ; then
280 echo 1>&2 "$PRG: $bootconf: Not a regular file"
282 elif [ ! -r "$bootconf" ] ; then
283 echo 1>&2 "$PRG: $bootconf: Permission denied"
287 # efibootmgr needs efivars, make sure kernel module is loaded
288 if modprobe -q efivars ; then
289 echo "Loaded efivars kernel module to enable use of efibootmgr"
292 if [ ! -d /proc/efi/vars ] && [ ! -d /sys/firmware/efi/vars ] && [ "$efiboot" = 1 ] ; then
293 echo 1>&2 "$PRG: no efi/vars under /proc or /sys/firmware, boot menu not updated"
297 if [ "$efiboot" = 1 ] ; then
298 ## see if efibootmgr exists and is executable
299 if (command -v efibootmgr > /dev/null 2>&1) ; then
300 [ -x `command -v efibootmgr` ] || MISSING=1 ; else MISSING=1
303 if [ "$MISSING" = 1 ] ; then
305 echo 1>&2 "$PRG: Warning: \`efibootmgr' could not be found, boot menu not updated"
308 if [ -f "$boot" ] ; then
309 echo 1>&2 "$PRG: $boot is a regular file, disabling boot menu update"
314 if [ "$CONFERR" = 1 ] ; then
324 ## we can even create bootstrap filesystem images directly if you
326 if [ -f "$boot" ] ; then
330 if [ -e "$TMP/bootstrap.$$" ] ; then
331 echo 1>&2 "$PRG: $TMP/bootstrap.$$ exists, aborting."
335 mkdir -m 700 "$TMP/bootstrap.$$"
336 if [ $? != 0 ] ; then
337 echo 1>&2 "$PRG: Could not create mountpoint directory, aborting."
341 mount | grep "^$boot " > /dev/null
343 echo 1>&2 "$PRG: $boot appears to be mounted! aborting."
347 [ "$VERBOSE" = 1 ] && echo "$PRG: Mounting $boot..."
348 mount -t "$fstype" -o codepage=437,iocharset=iso8859-1,rw,noexec,umask=077$loop "$boot" "$TMP/bootstrap.$$"
349 if [ $? != 0 ] ; then
350 echo 1>&2 "$PRG: An error occured mounting $boot"
354 TARGET="$TMP/bootstrap.$$"
362 imagefiles=`grep '^image[[:space:]]*=' $bootconf | \
363 sed 's/^image[[:space:]]*=[[:space:]]*//' | grep -v ':'`
364 initrdfiles=`grep '^[[:space:]]*initrd[[:space:]]*=' $bootconf | \
365 sed 's/.*=[[:space:]]*//' | grep -v ':'`
366 vmmfiles=`grep '^[[:space:]]*vmm[[:space:]]*=' $bootconf | \
367 sed 's/.*=[[:space:]]*//' | grep -v ':'`
369 ## Point of no return, removing the old EFI/debian tree
370 rm -rf $TARGET/$EFIROOT
372 echo 2>&1 "$PRG: Failed to delete old boot files, aborting"
375 mkdir -p $TARGET/$EFIROOT
377 ## Add a README to warn that this tree is deleted every time elilo is run
379 This directory tree is managed by /usr/sbin/elilo, and is deleted and\n\
380 recreated every time elilo runs. Any local changes will be lost.\n\
381 " > $TARGET/$EFIROOT/README.TXT
383 ## this is probably insecure on modern filesystems, but i think
384 ## safe on crippled hfs/dosfs.
385 [ "$VERBOSE" = 1 ] && echo "$PRG: Installing primary bootstrap $install onto $boot..."
386 cp -f "$install" "$TARGET/$EFIROOT/$BTFILE"
387 if [ $? != 0 ] ; then
388 echo 1>&2 "$PRG: An error occured while writing to $boot"
392 [ "$VERBOSE" = 1 ] && echo "$PRG: Installing $bootconf on $boot..."
393 ## we comment out boot= and install=, because they are only really
394 ## needed in the /etc/elilo.conf file, and elilo.efi currently
395 ## doesn't understand them. We also need to add /EFI/debian on to
396 ## the front of any paths that don't contain colons (device paths),
397 ## and replace tabs with spaces.
398 sed -e "s|^boot[[:space:]]*=|# &|" -e "s|^install[[:space:]]*=|# &|" \
400 -e "s|\(^image[[:space:]]*=[[:space:]]*\)\([^:]*\)$|\1$EFIROOT\2|" \
401 -e "s|\(^[[:space:]]*initrd[[:space:]]*=[[:space:]]*\)\([^:]*\)$|\1$EFIROOT\2|" \
402 -e "s|\(^[[:space:]]*vmm[[:space:]]*=[[:space:]]*\)\([^:]*\)$|\1$EFIROOT\2|" \
403 < "$bootconf" > "$TARGET/$EFIROOT/$CFFILE"
404 if [ $? != 0 ] ; then
405 echo 1>&2 "$PRG: An error occured while writing to $boot"
409 [ "$DEBUG" = 1 ] && echo "----" && cat "$TARGET/$EFIROOT/$CFFILE" && echo "----"
411 for i in $imagefiles $initrdfiles $vmmfiles; do
412 [ "$VERBOSE" = 1 ] && echo "$PRG: Installing $i on $boot..."
414 mkdir -p `dirname "$TARGET/$EFIROOT/$i"`
415 if [ $? != 0 ] ; then
416 echo 1>&2 "$PRG: An error occured creating directory `dirname $EFIROOT/$i` on $boot"
419 cp -f "$i" "$TARGET/$EFIROOT/$i"
420 if [ $? != 0 ] ; then
421 echo 1>&2 "$PRG: An error occured writing $i to $boot"
425 echo "$PRG: Warning: $i not found"
431 ## update the boot-device variable in EFI.
432 if [ "$efiboot" = 1 ] ; then
433 [ "$VERBOSE" = 1 ] && echo "$PRG: Updating EFI boot-device variable..."
435 [ "$VERBOSE" = 1 ] && efiquiet=""
436 if ckdevfs "$boot" ; then
437 BOOTDISK="${boot%/*}/disc"
438 BOOTPART="${boot##*part}"
439 elif ckcciss "$boot" ; then
440 BOOTDISK="${boot%p[0-9]*}"
441 BOOTPART="${boot##*[a-z]}"
443 BOOTDISK="${boot%%[0-9]*}"
444 BOOTPART="${boot##*[a-z]}"
446 if [ -z "$BOOTDISK" ] || [ -z "$BOOTPART" ] ; then
447 echo 2>&1 "$PRG: Could not determine boot disk, aborting..."
451 [ "$DEBUG" = 1 ] && echo 1>&2 "$PRG: DEBUG: boot-disk = $BOOTDISK"
452 [ "$DEBUG" = 1 ] && echo 1>&2 "$PRG: DEBUG: boot-partition = $BOOTPART"
453 # delete other entries with name "Debian GNU/Linux"
454 for b in `efibootmgr | grep "Debian GNU/Linux" | awk '{print substr($1,5,4) }'`; do
455 efibootmgr $efiquiet -b $b -B
457 # Add a new entry for this installation
458 efibootmgr $efiquiet -c -d $BOOTDISK -p $BOOTPART -w -L "Debian GNU/Linux" \
459 -l \\EFI\\debian\\elilo.efi -u -- elilo -C \\EFI\\debian\\elilo.conf
460 if [ $? != 0 ] ; then
461 echo 1>&2 "$PRG: An error occured while updating boot menu, we'll ignore it"
463 # Now, if 2nd and 3rd boot entries are for floppy and CD/DVD,
464 # move them up to 1st and 2nd, making our entry the 3rd.
465 bootorder=$(efibootmgr | sed -n 's/^BootOrder: \(.*\)$/\1/p')
466 boot1st=$(echo $bootorder | sed -n "s/\(....\).*$/\1/p")
467 boot2nd=$(echo $bootorder | sed -n "s/....,\(....\).*$/\1/p")
468 boot3rd=$(echo $bootorder | sed -n "s/....,....,\(....\).*$/\1/p")
469 boot456=$(echo $bootorder | sed -n "s/....,....,....\(.*\).*$/\1/p")
470 name2nd=$(efibootmgr | sed -n "s/^Boot$boot2nd[\*] \(.*\)$/\1/p")
471 name3rd=$(efibootmgr | sed -n "s/^Boot$boot3rd[\*] \(.*\)$/\1/p")
472 name23="@$name2nd@$name3rd"
473 if ( echo $name23 | grep -qi "@floppy" ); then
474 if ( echo $name23 | grep -qi "@cd") || ( echo $name23 | grep -qi "@dvd"); then
475 efibootmgr $efiquiet -o $boot2nd,$boot3rd,$boot1st$boot456
486 mount | grep "^$boot\>" > /dev/null
488 echo 1>&2 "$PRG: $boot appears to be mounted! aborting."
492 if (command -v mkdosfs > /dev/null 2>&1) ; then
493 [ -x `command -v mkdosfs` ] || FAIL=1 ; else FAIL=1 ; fi
494 if [ "$FAIL" = 1 ] ; then
495 echo 1>&2 "$PRG: mkdosfs is not installed or cannot be found"
499 [ "$VERBOSE" = 1 ] && echo "$PRG: Creating DOS filesystem on $boot..."
500 mkdosfs -n bootstrap "$boot" > /dev/null
501 if [ $? != 0 ] ; then
502 echo 1>&2 "$PRG: DOS filesystem creation failed!"
510 ## defaults for this are defined at the beginning of the script with
513 # We want to create an append= line from the current /proc/cmdline,
514 # so things like console=ttyS0 get picked up automatically.
515 # We also want to filter out bits of cmdline we are not interested in.
517 if [ -f /proc/cmdline ]; then
518 cmdline=`cat /proc/cmdline`
520 echo 1>&2 "$PRG: Warning: couldn't read /proc/cmdline, may need to add append=... to elilo.conf"
524 append=`echo $cmdline | tr ' ' '\n' | grep "^console=" | tr '\n' ' '`
525 if [ ! -z "$append" ]; then append="append=\"$append\""; fi
528 "## elilo configuration file generated by elilo $VERSION
534 " > "$TMPCONF" || return 1
536 if [ "$ARCHITECTURE" = "ia64" ]
538 echo "relocatable" >> "$TMPCONF" || return 1
555 " >> "$TMPCONF" || return 1
557 ## Copy the new elilo.conf to /etc
558 if [ -f $CONF ]; then
559 echo 1>&2 "$PRG: backing up existing $CONF as ${CONF}-"
563 cp -f "$TMPCONF" "$CONF"
564 if [ $? != 0 ] ; then
565 echo 1>&2 "$PRG: An error occured while writing to $conf"
572 # check partition will be big enough for all we want to add to it
576 imagefiles=`grep '^image[[:space:]]*=' $bootconf | \
577 sed 's/^image[[:space:]]*=[[:space:]]*//' | grep -v ':'`
578 initrdfiles=`grep '^[[:space:]]*initrd[[:space:]]*=' $bootconf | \
579 sed 's/.*=[[:space:]]*//' | grep -v ':'`
580 vmmfiles=`grep '^[[:space:]]*vmm[[:space:]]*=' $bootconf | \
581 sed 's/.*=[[:space:]]*//' | grep -v ':'`
582 bytesneeded=`cat $imagefiles $initrdfiles $vmmfiles $install $bootconf 2>/dev/null | wc -c`
583 # convert to KB, allowing 5% overhead
584 kbneeded=$(( bytesneeded / 1024 + bytesneeded / 20480 ))
585 kbavailable=$(df -P -k $TARGET | sed -n "s|^$boot[[:space:]]\+[0-9]\+[[:space:]]\+[0-9]\+[[:space:]]\+\([0-9]\+\).*$|\1|p")
586 if [ -z $kbavailable ]; then
587 echo 2>&1 "$PRG: unable to determine space on $boot, aborting"
590 if [ -d $TARGET/$EFIROOT ]; then
591 kbused=$(du -ks $TARGET/$EFIROOT | sed -n "s/[ ].*$//p")
595 [ "$VERBOSE" = 1 ] && echo "$PRG: ${kbneeded}KB needed, ${kbavailable}KB free, ${kbused}KB to reuse"
596 kbavailable=$(( kbavailable + kbused ))
597 if [ "$kbavailable" -lt "$kbneeded" ] ; then
598 echo 1>&2 "$PRG: Insufficient space on $boot, need ${kbneeded}KB, only ${kbavailable}KB available"
605 ## take out the trash.
608 if [ -n "$TARGET" ]; then
610 [ "$VERBOSE" = 1 ] && echo "$PRG: Unmounting $boot"
612 [ $? != 0 ] && echo 2>&1 "$PRG: Warning, failed to unmount $TARGET"
614 if [ -n "$TMPCONF" ] ; then rm -f "$TMPCONF" ; fi
615 if [ -d "$TMP/bootstrap.$$" ] ; then rmdir "$TMP/bootstrap.$$" ; fi
616 if [ "$umountproc" = 1 ] ; then umount /proc ; fi
624 ## absurdly bloated case statement to parse command line options.
625 if [ $# != 0 ] ; then
645 # allow --force for now, boot-floppies 3.0.20 and
646 # systemconfigurator use that instead of --format
647 echo 1>&2 "$PRG: Warning: --force is now deprecated. Use --for\mat."
648 echo 1>&2 "Try \`$PRG --help' for more information."
661 if [ -n "$2" ] ; then
666 echo 1>&2 "$PRG: option requires an argument $1"
667 echo 1>&2 "Try \`$PRG --help' for more information."
672 if [ -n "$2" ] ; then
677 echo 1>&2 "$PRG: option requires an argument $1"
678 echo 1>&2 "Try \`$PRG --help' for more information."
683 if [ -n "$2" ] ; then
686 ERR=" Error in $CONF:"
689 echo 1>&2 "$PRG: option requires an argument $1"
690 echo 1>&2 "Try \`$PRG --help' for more information."
700 if [ -n "$2" ] ; then
705 echo 1>&2 "$PRG: option requires an argument $1"
706 echo 1>&2 "Try \`$PRG --help' for more information."
711 if [ -n "$2" ] ; then
716 echo 1>&2 "$PRG: option requires an argument $1"
717 echo 1>&2 "Try \`$PRG --help' for more information."
722 if [ -n "$2" ] ; then
727 echo 1>&2 "$PRG: option requires an argument $1"
728 echo 1>&2 "Try \`$PRG --help' for more information."
733 if [ -n "$2" ] ; then
738 echo 1>&2 "$PRG: option requires an argument $1"
739 echo 1>&2 "Try \`$PRG --help' for more information."
747 echo 1>&2 "$PRG: unrecognized option \`$1'"
748 echo 1>&2 "Try \`$PRG --help' for more information."
755 ## check that are root
756 if [ `id -u` != 0 ] ; then
757 echo 1>&2 "$PRG: requires root privileges, go away."
761 ## check that autoconf options are only specified with --autoconf
762 if [ "$bootconf" = "auto" ] && [ "$autoconf" = "0" ] ; then
763 echo 1>&2 "$PRG: Auto-config options specified without --autoconf."
767 ## check that specified config file exists, unless we are to generate it,
768 ## which case we assume all options are done on the command line.
769 if [ "$autoconf" = "0" ] ; then
773 ## /proc is needed to parse /proc/partitions, etc.
774 if [ ! -f /proc/uptime ]; then
775 [ "$VERBOSE" = 1 ] && echo "$PRG: Mounting /proc..."
776 mount -t proc proc /proc 2> /dev/null
778 echo 1>&2 "$PRG: Failed to mount /proc, aborting."
784 # We need vfat support, so make sure it is loaded
785 modprobe vfat >/dev/null 2>&1
787 ## elilo.conf autogeneration. MUST have secure mktemp to
788 ## avoid race conditions. Debian's mktemp qualifies.
789 if [ "$autoconf" = "1" ] ; then
790 TMPCONF=`mktemp -q "$TMP/$PRG.XXXXXX"`
791 if [ $? != 0 ] ; then
792 echo 1>&2 "$PRG: Could not create temporary file, aborting."
796 if [ $? != 0 ] ; then
797 echo 1>&2 "$PRG: An error occured generating elilo.conf, aborting."
804 ## Checks if each option was defined on the command line, and if so
805 ## don't read it from the configuration file. this avoids
806 ## configuration options from being set null, as well as command line
807 ## options from being clobbered.
808 [ "$ARGBT" != 1 ] && [ $(parseconf ck boot) = 0 ] && boot=`parseconf str boot`
811 if [ "$boot" = unconfigured ] ; then
812 echo 1>&2 "$PRG: You must specify the device for the bootstrap partition. (ie: -b /dev/hdaX)"
813 echo 1>&2 "$PRG: Try \`$PRG --help' for more information."
817 ## validate configuration for sanity.
820 if [ "$FORMAT" = "yes" ]; then
824 [ "$VERBOSE" = 1 ] && echo "$PRG: Checking filesystem on $boot..."
825 dosfsck $boot > /dev/null
827 echo 1>&2 "$PRG: Filesystem on $boot is corrupt, please fix that and rerun $PRG."
837 echo 1>&2 "$PRG: Failed to unmount $boot"
842 [ "$VERBOSE" = 1 ] && echo "$PRG: Installation complete."