One Hat Cyber Team
Your IP :
216.73.216.216
Server IP :
194.44.31.54
Server :
Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64
Server Software :
Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k
PHP Version :
5.6.40
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
opt
/
texlive
/
bin
/
x86_64-linux
/
View File Name :
mkindex
#!/bin/sh # $Id$ # Public domain. Originally written by Thomas Esser around 2001.. test -f /bin/sh5 && test -z "$RUNNING_SH5" \ && { UNAMES=`uname -s`; test "x$UNAMES" = xULTRIX; } 2>/dev/null \ && { RUNNING_SH5=true; export RUNNING_SH5; exec /bin/sh5 $0 ${1+"$@"}; } unset RUNNING_SH5 test -f /bin/bsh && test -z "$RUNNING_BSH" \ && { UNAMES=`uname -s`; test "x$UNAMES" = xAIX; } 2>/dev/null \ && { RUNNING_BSH=true; export RUNNING_BSH; exec /bin/bsh $0 ${1+"$@"}; } unset RUNNING_BSH progname=`basename $0` case $# in 0) echo "Usage: `basename $0` file[.idx|.glo] ..." 1>&2 exit 1 ;; esac gind=gind.ist gglo=gglo.ist # remember starting directory dir=`pwd` # loop over all files for i do destdir=`echo "$i" | sed 's/^[^\/]*$/./; s/\/[^\/]*$//'` test -d "$destdir" || continue cd "$destdir" || exit 1 FILENAME=`basename "$i" .idx` test -f "$FILENAME".idx \ && makeindex -s "$gind" "$FILENAME" test -f "$FILENAME".glo \ && makeindex -s "$gglo" -o "$FILENAME".gls "$FILENAME".glo cd "$dir" || exit 1 done