|
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
update-alternatives --quiet --install /usr/bin/awk awk /usr/bin/gawk 10 \
--slave /usr/share/man/man1/awk.1.gz awk.1.gz /usr/share/man/man1/gawk.1.gz \
--slave /usr/bin/nawk nawk /usr/bin/gawk \
--slave /usr/share/man/man1/nawk.1.gz nawk.1.gz /usr/share/man/man1/gawk.1.gz
for badlink in /usr/man/man1/awk.1 /usr/man/man1/nawk.1; do
if [ -L $badlink ]; then
if ! ls -l $(ls -l $badlink | cut -d">" -f2) >/dev/null 2>&1; then
rm -f $badlink; fi; fi; done