rustyphoenixlecture 1.2.0

This project aims to provide a simple a powerfull lecture compilation to generate html web sites
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120


[highlighting]
# Do we want line numbers
is_line_number = true
# Plain text identifier
token_charset = "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789_"
# Vector of accepted extensions
vec_extention = []
# Vector of accepted filenames for highlithing this particular language
vec_filename = ["Dockerfile"]
# Definition of a single line comment
single_line_comment = "#"
# Beginning of a multi-line comment
multi_line_comment_begin = ""
# Ending of a multi-line comment
multi_line_comment_end = ""
# If the language has an escape char
is_escape_char = true
# Some example of the language to be parsed
example = """
# Official images: https://github.com/prefix-dev/pixi-docker/blob/main/Dockerfile
# comment to trigger release of this repository with pixi 0.68.1
FROM ghcr.io/prefix-dev/pixi:0.68.1-bookworm-slim@sha256:4378be837a7b2e32a27e5434f50db367daf27e0cf010a28add66e85f4aabd833

# Configurable USER ID for non-root pixi user
ARG PIXI_USER=PIXI_USER
ARG PIXI_USER_ID=57440
ARG PIXI_GROUP=PIXI_GROUP
ARG PIXI_USER_GID=57440
# Transform the arguments into ENV variables that persists in image at run-time (and build using this image as base)
ENV PIXI_USER=${PIXI_USER}
ENV PIXI_USER_ID=${PIXI_USER_ID}
ENV PIXI_GROUP=${PIXI_GROUP}
ENV PIXI_USER_GID=${PIXI_USER_GID}

# Create the pixi user
RUN groupadd --gid ${PIXI_USER_GID} ${PIXI_GROUP}
RUN useradd --uid ${PIXI_USER_ID} --gid ${PIXI_USER_GID} --create-home ${PIXI_USER}

# Install curl and ca-certificates required when using rust and rust_src conda packages
RUN apt update && apt install --yes curl ca-certificates && apt clean --yes && apt autoremove --yes

# Become pixi user as default users of the container
USER ${PIXI_USER}
ENV PIXI_USER_HOME="/home/${PIXI_USER}"
ENV PATH="${PIXI_USER_HOME}/.pixi/bin:${PATH}"
"""

[[keyword]]
style = "dsKeyword"
vec_token = [
	"FROM",
	"SHELL",
	"ENV",
	"RUN",
	"ARG",
	"COPY",
	"CMD",
	"LABEL",
	"MAINTAINER",
	"EXPOSE",
	"ADD",
	"ENTRYPOINT",
	"VOLUME",
	"WORKDIR",
	"ONBUILD",
	"STOPSIGNAL",
	"HEALTHCHECK",
	"USER",
]
vec_match = []

[[keyword]]
style = "makeFunction"
vec_token = [
	"echo",
	"touch",
	"ls",
	"cd",
	"ln",
	"apt-get",
	"yum",
	"dnf",
	"apt",
	"debconf-set-selections",
]
vec_match = []

[[getuntil]]
style = "dsString"
start_token = "\""
end_token = "\""


[[getuntil]]
style = "dsString"
start_token = "'"
end_token = "'"


[[getuntil]]
style = "dsCommentMono"
start_token = "#"
end_token = "\n"


[[getuntil]]
style = "dsNumber"
start_token = "${"
end_token = "}"



[[sequence]]
style = "dsNumber"
vec_step = [
	{oneof = "1234567890"},
	{oneof = "lu"}
]