version 1.113, 2018/12/16 20:31:06 |
version 1.117, 2018/12/16 20:57:49 |
|
|
#!/bin/sh |
#!/bin/sh |
# $AFresh1: update_openbsd,v 1.112 2018/12/16 20:23:38 andrew Exp $ |
# $AFresh1: update_openbsd,v 1.116 2018/12/16 20:55:24 andrew Exp $ |
# |
# |
# Copyright (c) 2012 Andrew Fresh <andrew@afresh1.com> |
# Copyright (c) 2012 Andrew Fresh <andrew@afresh1.com> |
# |
# |
|
|
done |
done |
|
|
cd $OLDPWD |
cd $OLDPWD |
|
|
|
EFI_BOOT="" |
|
if [ -d "/mnt/efi/boot" ]; then |
|
_d=$( cd "/mnt/efi/boot" && ls -1 *.{efi,EFI} 2>/dev/null ) |
|
# assume an MSDOS filesystem and so case insensitive |
|
[ "$_d" ] && EFI_BOOT=$( echo $_d | tr a-z A-Z ) |
|
fi |
|
|
umount_boot_device |
umount_boot_device |
|
|
BOOT_KERNELS=$INSTALL_KERNELS |
BOOT_KERNELS=$INSTALL_KERNELS |
|
|
|
|
local _v=$FILE_VER |
local _v=$FILE_VER |
|
|
|
if [ "$EFI_BOOT" ]; then |
|
_b="$EFI_BOOT" |
|
if [ ! -e ./${_b} ]; then |
|
echo "===> $FTP_CMD ${FTP}/${_b}" |
|
$FTP_CMD ${FTP}/${_b} |
|
else |
|
echo "===> Have ${_b}" |
|
fi |
|
fi |
|
|
for _b in $INSTALL_KERNELS; do |
for _b in $INSTALL_KERNELS; do |
if [ ! -e ./${_b} ]; then |
if [ ! -e ./${_b} ]; then |
echo "===> $FTP_CMD ${FTP}/${_b}" |
echo "===> $FTP_CMD ${FTP}/${_b}" |
|
|
[ $_d != / ] && _d=${_d%/}/ |
[ $_d != / ] && _d=${_d%/}/ |
[ $_d != / ] && mount | grep -q " on ${_d%/} .* msdos" && mount_is_msdos=1 |
[ $_d != / ] && mount | grep -q " on ${_d%/} .* msdos" && mount_is_msdos=1 |
|
|
|
if [ "$EFI_BOOT" -a -d /mnt/efi/boot ]; then |
|
echo "Copying $EFI_BOOT to /mnt/efi/boot/" |
|
( cd /mnt/efi/boot \ |
|
&& cp "$RELEASEDIR/$EFI_BOOT" "n$EFI_BOOT" \ |
|
&& mv "n$EFI_BOOT" "$EFI_BOOT" |
|
) |
|
fi |
|
|
if [ X"$BOOT_KERNEL_VERSION" != X"$NEW_KERNEL_VERSION" ]; then |
if [ X"$BOOT_KERNEL_VERSION" != X"$NEW_KERNEL_VERSION" ]; then |
echo "===> Backing up $BOOT_KERNEL to ${_d}obsd" |
echo "===> Backing up ${_d}$BOOT_KERNEL to ${_d}obsd" |
if [ $mount_is_msdos ]; then |
if [ $mount_is_msdos ]; then |
cp ${_d}$BOOT_KERNEL ${_d}obsd |
cp ${_d}$BOOT_KERNEL ${_d}obsd |
else |
else |
|
|
echo " RELEASEDIR: $RELEASEDIR" |
echo " RELEASEDIR: $RELEASEDIR" |
echo " DESTDIR: $DESTDIR" |
echo " DESTDIR: $DESTDIR" |
echo " BOOT_DEVICE: $BOOT_DEVICE" |
echo " BOOT_DEVICE: $BOOT_DEVICE" |
|
[ "$EFI_BOOT" ] && echo " EFI_BOOT: $EFI_BOOT" |
echo " BOOT_KERNEL: $BOOT_KERNEL" |
echo " BOOT_KERNEL: $BOOT_KERNEL" |
echo " INSTALL_KERNELS: $INSTALL_KERNELS" |
echo " INSTALL_KERNELS: $INSTALL_KERNELS" |
echo " INSTALLED_SETS: $INSTALLED_SETS" |
echo " INSTALLED_SETS: $INSTALLED_SETS" |