Skip to content

Commit 25002be

Browse files
authored
fix(doc): Ensure graphviz is installed (#510)
1 parent 9883f3f commit 25002be

File tree

2 files changed

+11
-2
lines changed

2 files changed

+11
-2
lines changed

.github/workflows/site.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -32,6 +32,8 @@ jobs:
3232
run: pip install mkdocs && pip install $(mkdocs get-deps) && pip install mkdocs-material
3333
- name: Setup mike
3434
run: pip install mike
35+
- name: Setup graphviz
36+
run: sudo apt install graphviz
3537
- name: Start PlantUML server
3638
run: sh/setup-plantuml.sh
3739
- name: Build

sh/setup-plantuml.sh

Lines changed: 9 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,19 @@
11
source sh/shared.sh
22

3-
if ! java -v; then
3+
if ! which java > /dev/null; then
44
print "Java not found!"
5+
exit 1;
56
fi;
67

8+
java -version
9+
710
print "Downloading plantuml"
811
curl -LO https://github.com/plantuml/plantuml/releases/download/v1.2025.4/plantuml-mit-1.2025.4.jar
912

1013
print "Starting server"
1114
java -jar ./plantuml-mit-1.2025.4.jar -picoweb:8080:127.0.0.1 &
12-
echo $!
15+
if [ $? -ne 0 ]; then
16+
print "Server failed!"
17+
else
18+
print "Server PID:" $!
19+
fi

0 commit comments

Comments
 (0)