1env_dict_def(
2 [ tex_for_prooftree = =(platex),
3 lang = =("ja_JP.UTF-8"),
5 exercise_js_name = full_name("~/public_html/cgi-bin/http_request.js"),
6 snapshot_file = full_name("~/Desktop/snapshot"),
7 public_html = full_name("~/public_html/"),
8 scratchfile = full_name("~/Desktop/.scratchfile"),
9 notify_cgi_access_by_mail = =(true),
10 paths_to_exec = maplist(full_name,
11 ["~/local/cgi-bin/",
12 "~/local/bin/",
13 "/usr/local/bin/",
14 "/opt/texbin/",
15 "/bin/",
16 "/usr/bin/"])
17 ]).
18
19file_search_path_def(
20 [
21 lib = full_name("~/local/lib/pacpl7/"),
22 pac = full_name("~/local/lib/pacpl7/"),
23 log = full_name("~/local/log/"),
24 tmp = full_name("~/tmp/"),
25 desktop = full_name("~/Desktop/"),
26 test = full_name("~/public_html/test/"),
27 html = full_name("~/public_html/"),
28 bib = full_name("~/Library/texmf/bibtex/bib/"),
29 home = full_name("~/"),
30 (~) = full_name("~/")
31 ]).
32
33pac:view_default(
34 [ out(pdf),
35 counter_name(graph_counter),
36 stem("dot_graph"),
37 home(H),
38 user_name(U),
39 http_dir("/cgi-bin/deldel"),
40 subdirectory("/public_html/cgi-bin/deldel")
41 ]) :- env_dict(home_name, H),
42 env_dict(user_name, U)