Оқулық «Федералдық білім беруді дамыту институты»


өңдеуші —devel тіркеме атауы, teacher тобының мүшесі ■  оқытушы



Pdf көрінісі
бет138/158
Дата01.07.2023
өлшемі3.83 Mb.
#475485
түріОқулық
1   ...   134   135   136   137   138   139   140   141   ...   158
операциялық жуйелер

өңдеуші —devel тіркеме атауы, teacher тобының мүшесі
■ 
оқытушы — тіркеме атауы teacher, топ мүшесі teacher;
■ 
студенттер — тіркеменің еркін атауларыteacher топқа кірмейді
Жеке топтарды белгілеу есебінен teacher 
бақылау жұмыстары бар каталогқа, студенттердің келісімсіз қол 
жеткізуін алдын алу мүмкін болады, ал қол жеткізу құқығын 
шектеу көшіріп жазу мүмкіндігін минимумға жеткізеді (басқа 
студенттің бақылау жұмысын қарау).
«Білімді бақылау» жүйелердің әзірлемесінің міндеттерін қою 1.5. 
тарауда келтірілген. 
«Білімді бақылау» жүйесі шегінде орындалатын жұмыстарды 
қамтамасыз етудегі, тапсырмалар командалық интерпретатор BASH
тілінде жазылған. Тапсырмаларды үш топқа жіктеу ұсынылған: 
■ 
check/ scripts/teacher каталогында орналасқан оқытушының 
жұмыстары үшін
■ 
check/scripts/ students каталогында орналасқан студенттердің 
жұмыстары үшін; 
■ 
check/scripts каталогында орналасқан қызметтік тапсырмалар.
Оқытушылар мен студенттердің тапсырмасын дұрыс жіберуді 
қамтамасыз ету үшін BASEDIR айнымалы шеңбердің мәндерін 
тағайындау керек, ол «Бақылау» жүйесінің толық атауын береді. 
Студенттер қолданатын пакеттік файлдар үшін студенттің жұмыс 
облысын сақтайтын және каталог атауын көрсететін, NAME 
айнымалысының мәндерін орнату керек. Ол үшін scripts/env.sh 


260 
тапсырмасы қолданылады. «Бақылау» жүйесінің құрамына кіретін, 
кейбір пакеттік файлды мәтіндерінің үлгілері келтірілген. 


261 
Тапсырмалардың бастапқы мәтінінің мысалдары
:
scripts/env.sh — айнымалы шеңберінің қондырма пакеті 
 
#!/bin/bash
# айнымалыны орнату үшін арналған тапсырма 
# жүйемен дұрыс жасау үшін пайдаланушының шеңбері 
# if [ " ${EDITOR:-DUMMY} " == "DUMMY" ] ; then 
export EDITOR=mcedit echo "EDITOR=$EDITOR" fi
export BASEDIR=/check/ echo "BASEDIR=$BASEDIR" export 
NAME='whoami' echo "NAME=$NAME"
export PATH=$PATH:$BASEDIR/scripts/teacher: \
$BASEDIR/scripts/students
echo " PATH=$PATH"


Достарыңызбен бөлісу:
1   ...   134   135   136   137   138   139   140   141   ...   158




©dereksiz.org 2024
әкімшілігінің қараңыз

    Басты бет