Файловый менеджер - Редактировать - /etc/profile.d/gawk.sh
Назад
gawkpath_default () { unset AWKPATH export AWKPATH=`gawk 'BEGIN {print ENVIRON["AWKPATH"]}'` } gawkpath_prepend () { [ -z "$AWKPATH" ] && AWKPATH=`gawk 'BEGIN {print ENVIRON["AWKPATH"]}'` export AWKPATH="$*:$AWKPATH" } gawkpath_append () { [ -z "$AWKPATH" ] && AWKPATH=`gawk 'BEGIN {print ENVIRON["AWKPATH"]}'` export AWKPATH="$AWKPATH:$*" } gawklibpath_default () { unset AWKLIBPATH export AWKLIBPATH=`gawk 'BEGIN {print ENVIRON["AWKLIBPATH"]}'` } gawklibpath_prepend () { [ -z "$AWKLIBPATH" ] && \ AWKLIBPATH=`gawk 'BEGIN {print ENVIRON["AWKLIBPATH"]}'` export AWKLIBPATH="$*:$AWKLIBPATH" } gawklibpath_append () { [ -z "$AWKLIBPATH" ] && \ AWKLIBPATH=`gawk 'BEGIN {print ENVIRON["AWKLIBPATH"]}'` export AWKLIBPATH="$AWKLIBPATH:$*" }
| ver. 1.4 |
Github
|
.
| PHP 7.4.3-4ubuntu2.24 | Генерация страницы: 0.01 |
proxy
|
phpinfo
|
Настройка