Use xmllint instead of xmlstarlet

Closes: #593 Signed-off-by: Florian Schmaus <[email protected]> Suggested-by: Robin H. Johnson <[email protected]>
gentoo · Mar 23, 2023 · 2e1d497 · 2e1d497
1 parent a6bcc35
commit 2e1d497
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -9,7 +9,7 @@ jobs:
       - name: Install dependencies
         run: |
           sudo apt update
-          sudo apt install libxml2-utils xmlstarlet
+          sudo apt install libxml2-utils
       - uses: actions/setup-python@v4
         with:
           python-version: '3.x'

diff --git a/files/mirrors/Makefile b/files/mirrors/Makefile
@@ -1,5 +1,5 @@
 .%.expected-format.xml: %.xml
-	xmlstarlet fo --encode utf-8 $^ > $@
+	xmllint --format $^ > $@
 
 .ONESHELL:
 .%.expected-format.xml.ok: SHELL = /bin/bash

diff --git a/files/overlays/Makefile b/files/overlays/Makefile
@@ -37,7 +37,7 @@ format: .repositories-expected-format.xml
 	cmp -s repositories.xml $^ || cp $^ repositories.xml
 
 .repositories-expected-format.xml: repositories.xml
-	xmlstarlet fo $^ > $@
+	xmllint --format $^ > $@
 
 .ONESHELL:
 .repositories-style-ok: SHELL = /bin/bash