Server : nginx/1.24.0 System : Linux ip-172-31-33-48 6.14.0-1011-aws #11~24.04.1-Ubuntu SMP Fri Aug 1 02:07:25 UTC 2025 x86_64 User : www-data ( 33) PHP Version : 8.3.6 Disable Function : NONE Directory : /var/lib/dpkg/info/ |
Upload File : |
#!/bin/sh set -e USR_MERGE="bin lib lib32 lib64 libo32 lib64 sbin" if [ "$1" = install ] || [ "$1" = upgrade ]; then for d in $USR_MERGE; do if [ -d "$DPKG_ROOT/$d" ] && ! [ -h "$DPKG_ROOT/$d" ]; then cat <<EOF ****************************************************************************** * * The base-files package cannot be installed because this system has a * split /usr. * * Please install the usrmerge package to convert this system to merged-/usr. * * For more information please read https://wiki.debian.org/UsrMerge. * ****************************************************************************** EOF exit 1 fi done for d in $USR_MERGE; do # Install DEP17 M4 protective diversions dpkg-divert --quiet --package base-files --add --no-rename --divert /$d.usr-is-merged /$d done fi # Automatically added by dh_installdeb/13.14.1ubuntu5 dpkg-maintscript-helper rm_conffile /etc/default/motd-news 11ubuntu11\~ base-files -- "$@" # End automatically added section