Gestionnaire de fichiers - Editer - /home/wwgoat/public_html/blog/egrep.tar
Arrière
usr/bin/egrep 0000755 00000000442 14720731164 0007162 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 egrep" else _GREPOPT=-E fi exec $_EXECOPT $grep $_GREPOPT "$@"
| ver. 1.4 |
Github
|
.
| PHP 8.0.30 | Génération de la page: 0.01 |
proxy
|
phpinfo
|
Réglages