Файловый менеджер - Редактировать - /usr/bin/egrep
Назад
#!/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 7.4.33 | Генерация страницы: 0 |
proxy
|
phpinfo
|
Настройка