Gestionnaire de fichiers - Editer - /usr/bin/fgrep
Arrière
#!/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 8.0.30 | Génération de la page: 0.01 |
proxy
|
phpinfo
|
Réglages