|
Server : Apache System : Linux enhance01.hostingraja.org 5.15.0-144-generic #157-Ubuntu SMP Mon Jun 16 07:33:10 UTC 2025 x86_64 User : webdemo_4 ( 4864) PHP Version : 7.4.33 Disable Function : NONE Directory : /var/lib/dpkg/info/ |
Upload File : |
#!/bin/sh
set -e
# update grub on first install, so that the alternative init system boot
# entries get updated
if [ "$1" = configure ] && [ -z "$2" ] && [ -e /boot/grub/grub.cfg ] && which update-grub >/dev/null 2>&1; then
update-grub || true
fi