htmlize.sh

#!/bin/bash
# htmlize.sh - by Aurelio Jargas, since 2002
#
# Use sedsed to convert sed scripts to colored HTML files.
# The original sed script URL is also added to the HTML footer.
#
# Usage: ./htmlize.sh path/to/script.sed


url_database="index2html.sed"
output_extension="html"

unsupported="
local/games/sedermind.sed: invalid SED command 'Q' at line 84 (unsupported by sedsed)
local/scripts/html2iso.sed: sed: RE error: illegal byte sequence
local/scripts/html_lc.sed: sed: RE error: illegal byte sequence
local/scripts/html_uc.sed: sed: RE error: illegal byte sequence
local/scripts/indexhtml.sed: can't handle \n as delimiter (unsupported by sedsed)
local/scripts/iso2html.sed: sed: RE error: illegal byte sequence
local/scripts/sodelnum.sed: sed: RE error: illegal byte sequence
local/scripts/untroff.sed: sed: RE error: illegal byte sequence
"

get_script_url() {
	local label="$1"

	# Label exceptions: displayed script name is different from the file name
	case "$label" in
		hanoi           ) label='towers of hanoi';;
		tictactoe       ) label='tic tac toe';;
		pong1player     ) label='pong (1 player)';;
		pong2players    ) label='pong (2 players)';;
		99-green-bottles) label='99 green bottles';;
		sedermind       ) label='my mastermind';;
		path            ) label='path solver';;
	esac

	# Extract sed script URL from the database
	sed -n "
		# Sample line: s|^foo.sed$|http://sed.sf.net/foo.sed|; t url
		#
		/^s|^$label\(\.sed\)\{0,1\}\$|/ {
			s///
			s/|.*//p
		}
		" "$url_database"
}


while test "$1"
do
	input_path="$1"
	output_path="$input_path".$output_extension

	# Remove the current file name from the to-do list
	shift

	# Get the script URL
	input_basename=$(echo "$input_path" | sed 's,.*/,, ; s/\.sed$//')
	url=$(get_script_url "$input_basename")

	# Skip this script if it's unsupported
	if echo "$unsupported" | grep "^$input_path:" >/dev/null
	then
		printf -- "----- %-44s %s\n" "$input_basename" "[SKIPPED]"
		continue
	fi

	# Convert to HTML and add original URL to the footer
	sedsed --htmlize -f "$input_path" |
		sed "/>### colorized by/ s,</b>,\\
### original script: <a href=\"$url\">$url</a>&," > "$output_path"

	printf "Saved %-44s %s\n" "$output_path" "$url"
done