|
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/bash
set -e
# This should never happen.
if [ ! -e /bin/sh ]; then
ln -s bash /bin/sh
fi
update-alternatives --install \
/usr/share/man/man7/builtins.7.gz \
builtins.7.gz \
/usr/share/man/man7/bash-builtins.7.gz \
10 \
|| true
# Automatically added by dh_installmenu/13.14.1ubuntu5
if [ "$1" = "configure" ] && [ -x "`command -v update-menus`" ] && [ -x "$DPKG_ROOT`command -v update-menus`" ]; then
update-menus
fi
# End automatically added section
exit 0