From ec1e9292a887dbb96668f75c1bc86f795ce1c780 Mon Sep 17 00:00:00 2001 From: Oliver Reiche Date: Fri, 2 Jun 2023 10:12:31 +0200 Subject: doc: Minor format and consistency improvements --- doc/tutorial/just-execute.org | 41 ++++++++++++++++++++++------------------- 1 file changed, 22 insertions(+), 19 deletions(-) (limited to 'doc/tutorial/just-execute.org') diff --git a/doc/tutorial/just-execute.org b/doc/tutorial/just-execute.org index 5605dcd8..f43cb202 100644 --- a/doc/tutorial/just-execute.org +++ b/doc/tutorial/just-execute.org @@ -16,17 +16,18 @@ certainly not limited to) For the sake of completeness, these are the files used to compile the examples -#+BEGIN_SRC bash -$ tree latex-hello-world/ +#+BEGIN_SRC latex-hello-world/ -├── hello.tex -├── repos.json -└── TARGETS ++--hello.tex ++--repos.json ++--TARGETS #+END_SRC They read as follows -#+BEGIN_SRC bash -$ cat repos.json + +File ~repos.json~: +#+SRCNAME: repos.json +#+BEGIN_SRC js { "main": "tutorial" , "repositories": { "latex-rules": @@ -45,8 +46,9 @@ $ cat repos.json } #+END_SRC -#+BEGIN_SRC bash -$ cat TARGETS +File ~TARGETS~: +#+SRCNAME: TARGETS +#+BEGIN_SRC js { "tutorial": { "type": ["@", "latex-rules", "latex", "latexmk"] , "main": ["hello"] @@ -55,8 +57,9 @@ $ cat TARGETS } #+END_SRC -#+BEGIN_SRC bash -$ cat hello.tex +File ~hello.tex~: +#+SRCNAME: hello.tex +#+BEGIN_SRC tex \documentclass[a4paper]{article} \author{JustBuild developers} @@ -76,7 +79,7 @@ In this first example, we simply call ~just execute~ and the environment of the caller is made available. We therefore recommend to have a dedicated non-priviledged ~build~ user to run the execution service. In the following, we will use ~%~ to indicate the prompt of -the ~build~ user, ~$~ for a _normal_user_. +the ~build~ user, ~$~ for a /normal/ user. To enable such a single-node execution service, it is sufficient to type on one shell (as ~build~ user) @@ -85,7 +88,7 @@ type on one shell (as ~build~ user) #+END_SRC Where ~~ is a port number which is supposed to be available. -To use it, as a _normal_ user, on a different shell type +To use it, as a /normal/ user, on a different shell type #+BEGIN_SRC bash $ just [...] -r localhost: #+END_SRC @@ -148,7 +151,7 @@ $ cat /tmp/foo.json {"interface":"127.0.0.1","pid":7680,"port":44115} #+END_SRC -Please note that the info file will _not be automatically deleted_ +Please note that the info file will /not be automatically deleted/ when the user terminates the service. The user is responsible for eventually removing it from the file system. @@ -171,7 +174,7 @@ $ just [...] --tls-ca-cert --tls-client-cert