Ejudge.xml:script dir
From EjudgeWiki
Навигация: Главная страница/Система ejudge/Использование/Конфигурационные файлы/ejudge.xml/script_dir
Имя элемента: | script_dir | |
Содержится в: | config | |
Может содержать: | нет | |
Атрибуты: | нет | |
Тип содержимого: | полный путь к каталогу вспомогательных программ системы ejudge | |
Значение по умолчанию: | задается скриптом configure | |
Может отсутствовать: | да | |
Может повторяться: | нет | |
Используется в: | super-serve | |
Примечание: | явное использование не рекомендуется |
Описание. Значение данного элемента — это путь к каталогу в инсталляции ejudge, в котором хранятся вспомогательные программы и скрипты.
Корректное значение пути к каталогу вспомогательных программ автоматически устанавливается скриптом configure по пути к корню инсталляции, задаваемому с помощью опции --prefix. Явное использование элемента script_dir не рекомендуется.