From 0779d60460d99f8f950fd97bcef897ba6cbf1b8a Mon Sep 17 00:00:00 2001
From: Louie S <louie@example.com>
Date: Fri, 9 Jun 2023 16:50:33 -0700
Subject: Download and package (or disable) CSS as part of docset

---
 src/set-stylesheet.sh | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100755 src/set-stylesheet.sh

(limited to 'src')

diff --git a/src/set-stylesheet.sh b/src/set-stylesheet.sh
new file mode 100755
index 0000000..c2345a4
--- /dev/null
+++ b/src/set-stylesheet.sh
@@ -0,0 +1,44 @@
+#!/usr/bin/sh
+
+unset LOCAL_CSS_PATH
+unset WEB_CSS_PATH
+CSS="$1"
+shift
+
+get_css_path() {
+	# Used to set WEB_CSS_PATH
+	pup "link[rel=stylesheet] attr{href}" -f "$1"
+}
+
+stylesheet_replace() {
+	# Replace each stylesheet href value with LOCAL_CSS_PATH
+	while [ -n "$1" ]; do
+		sed -i 's|'"$(pup link[rel=stylesheet] -f "$1")"'|<link rel="stylesheet" type="text/css" href="manual.css">|g' "$1"
+		shift
+	done
+}
+
+stylesheet_remove() {
+	# Remove the stylesheet link
+	while [ -n "$1" ]; do
+		sed -i 's|'"$(pup link[rel=stylesheet] -f "$1")"'||g' "$1"
+		shift
+	done
+}
+
+if [ "$CSS" = "yes" ]; then
+	WEB_CSS_PATH="$(get_css_path "$1")"
+	if [ -n "$WEB_CSS_PATH" ]; then
+		LOCAL_CSS_PATH="$(dirname "$1")"/manual.css
+		curl -o "$LOCAL_CSS_PATH" "$WEB_CSS_PATH"
+	fi
+	if [ -r "$LOCAL_CSS_PATH" ]; then
+		stylesheet_replace "$@"
+	else
+		CSS="no"
+	fi
+fi
+
+if [ "$CSS" = "no" ]; then
+	stylesheet_remove "$@"
+fi
-- 
cgit