Subversion Repositories wimsdev

Rev

Rev 17180 | Rev 17673 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 17180 Rev 17275
Line 149... Line 149...
149
    Last data backup\
149
    Last data backup\
150
    Download the backup files\
150
    Download the backup files\
151
    To restore an old backup file, give the file name (it must be a *.tgz file)\
151
    To restore an old backup file, give the file name (it must be a *.tgz file)\
152
    You need a fast connection if the file to upload is big.\
152
    You need a fast connection if the file to upload is big.\
153
  into name_backup,name_click,name_daily,name_last,name_download,name_restore,name_fast
153
  into name_backup,name_click,name_daily,name_last,name_download,name_restore,name_fast
-
 
154
 
154
  !exit
155
  !exit
155
!endif
156
!endif
156
 
157
 
157
!if $job=badconf
158
!if $job=badconf
158
 
159
 
Line 215... Line 216...
215
    name_yourclass,name_yourclassmod
216
    name_yourclass,name_yourclassmod
216
  !set name_creation=!nosubst is created on $class_creation and
217
  !set name_creation=!nosubst is created on $class_creation and
217
  !set name_expires=!nosubst expires on $class_expiration
218
  !set name_expires=!nosubst expires on $class_expiration
218
  !set name_remark=<b>Remark</b>. Changes to these fields only make sense when asked for by\
219
  !set name_remark=<b>Remark</b>. Changes to these fields only make sense when asked for by\
219
     the supervisor of the class (who has lost the control of the class). And you should probably
220
     the supervisor of the class (who has lost the control of the class). And you should probably
220
!exit
-
 
221
!endif
221
  !endif
222
 
222
 
223
 !exit
223
  !exit
224
!endif
224
!endif
225
 
225
 
226
!if $job=conf
226
!if $job=conf
227
  !set title=!nosubst Configuration of $cattit
227
  !set title=!nosubst Configuration of $cattit
228
  !distribute lines Configuration not changed because you have made no modifications.\
228
  !distribute lines Configuration not changed because you have made no modifications.\
229
default\
229
default\
230
recommended\
230
recommended\
231
   into name_config,name_default,recommended
231
   into name_config,name_default,recommended
232
 
232
 
233
 !set name_updated=!nosubst The file <span class="tt">wims.conf</span> is updated. You can recover the old\
233
  !set name_updated=!nosubst The file <span class="tt">wims.conf</span> is updated. You can recover the old\
234
   configuration information from <span class="tt">$backdir/wims.conf.old</span>.
234
   configuration information from <span class="tt">$backdir/wims.conf.old</span>.
235
 
235
 
236
  !set name_warning=Parameters with a <span class="tt wims_warning">'*'</span> in their titles are important ones. \
236
  !set name_warning=Parameters with a <span class="tt wims_warning">'*'</span> in their titles are important ones. \
237
Those with a <span class="tt wims_warning">'!'</span> may damage the installation if you mess up.<br>\
237
Those with a <span class="tt wims_warning">'!'</span> may damage the installation if you mess up.<br>\
238
Anyway, remember that erasing the file <span class="tt">log/wims.conf</span> will\
238
Anyway, remember that erasing the file <span class="tt">log/wims.conf</span> will\
Line 241... Line 241...
241
!!confcat=6
241
!!confcat=6
242
 !distribute lines Click here\
242
 !distribute lines Click here\
243
   for backup management and\
243
   for backup management and\
244
   here\
244
   here\
245
  for manual module management.\
245
  for manual module management.\
246
 into name_click,name_backup,name_here,name_manual
246
  into name_click,name_backup,name_here,name_manual
247
 
247
 
248
!!ressources
248
!!ressources
249
  !set name_config_site=to configure the site's access restriction policy.
249
  !set name_config_site=to configure the site's access restriction policy.
250
!!graphics and software
250
!!graphics and software
251
  !distribute line to check the effect of the new setup.\
251
  !distribute line to check the effect of the new setup.\
Line 256... Line 256...
256
   availability\
256
   availability\
257
   Unavailable\
257
   Unavailable\
258
   Example of modules depending on it\
258
   Example of modules depending on it\
259
   This software is usually attached to WIMS distribution. Its compilation may have failed\
259
   This software is usually attached to WIMS distribution. Its compilation may have failed\
260
   to check the effect of the new setup.\
260
   to check the effect of the new setup.\
261
 into name_check,name_checksoftware,name_checkgraphics,name_command,name_importance,\
261
  into name_check,name_checksoftware,name_checkgraphics,name_command,name_importance,\
262
   name_availability,name_Unavailable,name_dependingonit,name_fail,name_refresh
262
   name_availability,name_Unavailable,name_dependingonit,name_fail,name_refresh
263
 
263
 
264
 
-
 
265
!set name_warning_program=WIMS is unable to find the following programs which are used by some of its\
264
  !set name_warning_program=WIMS is unable to find the following programs which are used by some of its\
266
 modules. These programs are either not installed in the system (in which\
265
 modules. These programs are either not installed in the system (in which\
267
 case please install them), or are installed in a directory not included in\
266
 case please install them), or are installed in a directory not included in\
268
 the searching path of WIMS (in which case you can add the directory to\
267
 the searching path of WIMS (in which case you can add the directory to\
269
 the PATH parameter in
268
 the PATH parameter in
270
 
269
 
271
!set name_imagemagick=We did not find a working ImageMagick on the system.\
270
  !set name_imagemagick=We did not find a working ImageMagick on the system.\
272
 Without this package, most WIMS images and animations will be broken. So we\
271
 Without this package, most WIMS images and animations will be broken. So we\
273
 strongly recommend that you install ImageMagick before continuing.
272
 strongly recommend that you install ImageMagick before continuing.
274
 
273
 
275
!set name_dynamic=Check dynamic graphics (you may wish to do it with different browsers)
274
  !set name_dynamic=Check dynamic graphics (you may wish to do it with different browsers)
276
 
275
 
277
!set name_tex=This formula uses dynamic TeX insertion. It should appear correctly, unless <b>TeX</b> is not\
276
  !set name_tex=This formula uses dynamic TeX insertion. It should appear correctly, unless <b>TeX</b> is not\
278
  correctly installed on your system.
277
  correctly installed on your system.
279
!set name_size=You may change TeX font size step if they appear too big or too small
278
  !set name_size=You may change TeX font size step if they appear too big or too small
280
!set name_mathml=This formula uses dynamic MathML. If it does not appear correctly, it is certainly\
279
!set name_mathml=This formula uses dynamic MathML. If it does not appear correctly, it is certainly\
281
because the browser you use does not treat correctly MathML.
280
because the browser you use does not treat correctly MathML.
282
 
281
 
283
!set name_drawing=The following two pictures are generated by the internal dynamic drawing\
282
  !set name_drawing=The following two pictures are generated by the internal dynamic drawing\
284
  program. One is still image, the other is animated. Can you see them\
283
  program. One is still image, the other is animated. Can you see them\
285
correctly? If not, try different graphics/animation formats.
284
correctly? If not, try different graphics/animation formats.
286
 
285
 
287
 
286
 
288
!set name_gnuplot1=The following plot uses <b>gnuplot</b>
287
  !set name_gnuplot1=The following plot uses <b>gnuplot</b>
289
!set name_gnuplot2=The curves should have different colors. If this is not OK, try different graphics formats.
288
  !set name_gnuplot2=The curves should have different colors. If this is not OK, try different graphics formats.
290
 
289
 
291
!set name_graphviz1=The following colored horizontal graph uses <b>graphviz</b> and is not affected by the above formats. \
290
  !set name_graphviz1=The following colored horizontal graph uses <b>graphviz</b> and is not affected by the above formats. \
292
  If it does not appear, then
291
  If it does not appear, then
293
!set name_graphviz2=is not correctly installed.
292
  !set name_graphviz2=is not correctly installed.
294
 
293
 
295
!set name_povray1=The following ray-traced picture is not affected by the above formats. \
294
  !set name_povray1=The following ray-traced picture is not affected by the above formats. \
296
  If it does not appear, then
295
  If it does not appear, then
297
!set name_povray2=is not correctly installed.
296
  !set name_povray2=is not correctly installed.
298
 !exit
297
  !exit
299
!endif
298
!endif
300
 
299
 
301
 
300
 
302
!if $job=crontab
301
!if $job=crontab
303
  !set title=Automatic daily maintenances
302
  !set title=Automatic daily maintenances
304
 !distribute  Manually installed crontab found. You should either continue to manage cron jobs manually, or erase your manual crontab before switching to this online tool.\
303
  !distribute  Manually installed crontab found. You should either continue to manage cron jobs manually, or erase your manual crontab before switching to this online tool.\
305
   Never use this tool if you have a personalized crontab!\
304
   Never use this tool if you have a personalized crontab!\
306
   Strange error: I cannot recover my working directory. Check your installation: it is not working normally.\
305
   Strange error: I cannot recover my working directory. Check your installation: it is not working normally.\
307
   Available maintenance works\
306
   Available maintenance works\
308
   Daily data backup at\
307
   Daily data backup at\
309
   Choose a time when the server is not busy.\
308
   Choose a time when the server is not busy.\
310
   Activity accounting (necessary for site statistics)\
309
   Activity accounting (necessary for site statistics)\
311
into name_manually,name_warning,name_strange,name_available,name_daily,name_notbusy,name_accounting
310
  into name_manually,name_warning,name_strange,name_available,name_daily,name_notbusy,name_accounting
312
 
311
 
313
 
-
 
314
 !exit
312
  !exit
315
!endif
313
!endif
316
 
314
 
317
!if $job2=del1
315
!if $job2=del1
318
  !set name_warning=Are you sure you want to erase the developer account
316
  !set name_warning=Are you sure you want to erase the developer account
319
 
317
 
320
 !exit
318
  !exit
321
!endif
319
!endif
322
 
320
 
323
!if $job=developer
321
!if $job=developer
324
  !set title=
322
  !set title=
325
  !set wims_name_adddevel=Add a new developer account
323
  !set wims_name_adddevel=Add a new developer account
Line 357... Line 355...
357
     Download the file\
355
     Download the file\
358
     Content of\
356
     Content of\
359
   into name_file,name_erase,name_last,name_bytes,name_image,name_binary,name_toolong,\
357
   into name_file,name_erase,name_last,name_bytes,name_image,name_binary,name_toolong,\
360
   name_distrib,name_download,name_content
358
   name_distrib,name_download,name_content
361
 
359
 
362
  !exit
360
  !exit
363
!endif
361
!endif
364
 
362
 
365
!if $job=fs
363
!if $job=fs
366
!distribute lines Current directory\
364
  !distribute lines Current directory\
367
  Subdirectories (click to go)\
365
  Subdirectories (click to go)\
368
  Symbolic links\
366
  Symbolic links\
369
  Add a new file to it\
367
  Add a new file to it\
370
  Files\
368
  Files\
371
  No regular file in this directory.\
369
  No regular file in this directory.\
372
into name_current,name_sub,name_symbolic,name_add,name_files,name_file
370
into name_current,name_sub,name_symbolic,name_add,name_files,name_file
373
 
371
 
374
  !exit
372
  !exit
375
!endif
373
!endif
376
 
374
 
377
!if $job=no_right
375
!if $job=no_right
378
  !set name_warning=Sorry but you are not recognized as manager of this site. You do not have\
376
  !set name_warning=Sorry but you are not recognized as manager of this site. You do not have\
379
right to access this module.
377
right to access this module.
-
 
378
 
380
  !exit
379
  !exit
381
!endif
380
!endif
-
 
381
 
382
!if $job=mkindex
382
!if $job=mkindex
383
  !set title=Rebuild resource index
383
  !set title=Rebuild resource index
384
  !distribute lines Resource index rebuilding is scheduled. You will receive a mail containing the result of resource rebuilding.\
384
  !distribute lines Resource index rebuilding is scheduled. You will receive a mail containing the result of resource rebuilding.\
385
    Rebuilding resource index takes server teaching materials, so should better be avoided when the server is very busy.\
385
    Rebuilding resource index takes server teaching materials, so should better be avoided when the server is very busy.\
386
    Result of last resource index building at\
386
    Result of last resource index building at\
387
    Click here\
387
    Click here\
388
    to restart a resource index rebuilding (you should not).\
388
    to restart a resource index rebuilding (you should not).\
389
    to start resource index rebuilding.\
389
    to start resource index rebuilding.\
390
  into name_scheduled,name_rebuilding,name_result,name_click,name_restart,name_start
390
  into name_scheduled,name_rebuilding,name_result,name_click,name_restart,name_start
-
 
391
 
391
  !exit
392
  !exit
392
!endif
393
!endif
393
 
394
 
394
!if $job=modules
395
!if $job=modules
395
  !set title=Module download
396
  !set title=Module download