File manager - Edit - /home/filmpbuk/public_html/fgrep.tar
Back
usr/bin/fgrep 0000755 00000000442 15155566265 0007176 0 ustar 00 #!/bin/sh grep=grep unset _EXECOPT _GREPOPT case $0 in */*) dir=${0%/*} if test -x "$dir/grep"; then PATH=$dir:$PATH grep=grep fi;; esac if [ "$GREP_LEGACY_EGREP_FGREP_PS" = 1 ]; then _EXECOPT="-a fgrep" else _GREPOPT=-F fi exec $_EXECOPT $grep $_GREPOPT "$@"
| ver. 1.4 |
Github
|
.
| PHP 7.3.33 | Generation time: 0.05 |
proxy
|
phpinfo
|
Settings