| Server IP : 127.0.0.1 / Your IP : 216.73.216.109 Web Server : Apache/2.4.54 (Win64) OpenSSL/1.1.1q PHP/8.1.10 System : Windows NT DESKTOP-E5T4RUN 10.0 build 19045 (Windows 10) AMD64 User : SERVERWEB ( 0) PHP Version : 8.1.10 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : C:/cygwin64/etc/postinstall/ |
Upload File : |
if [ -f /var/cache/man/index.db ] ; then
if [ -f /var/cache/man/.index-synchronously ] || [ "$1" = "background" ] ; then
printf " ManDB index update starting...\n"
tf=$(/usr/bin/mktemp -p /var/log mandb-index-XXXXXXXX.log)
exec 3> $tf
/usr/bin/mv --backup=simple $tf /var/log/mandb-index.log
printf "ManDB update started: $(/usr/bin/date -Iseconds)\n" >&3
/usr/bin/mandb <&- >&3 2>&1
printf "ManDB update finished: $(/usr/bin/date -Iseconds)\n" >&3
exec 3>&-
printf " ... ManDB index update complete.\n"
else
printf " ManDB index update commencing in background...\n"
env -i ProgramData=$(hexdump -n 32 -e '/8 "%02X" 3/8 "/%02X"' /dev/urandom) \
/usr/bin/cygstart --hide /usr/bin/dash $0 background
fi
else
printf " ManDB index not available.\n"
fi