Permalink
Please sign in to comment.
Browse files
Factor out scripts/html.sh so that other repos can use it.
Also, remove unused imports.
- Loading branch information...
Showing
with
51 additions
and 32 deletions.
- +43 −0 scripts/html.sh
- +8 −30 scripts/release.sh
- +0 −2 test/wild_report.py
| @@ -0,0 +1,43 @@ | ||
| #!/bin/bash | ||
| # | ||
| # Usage: | ||
| # ./html.sh <function name> | ||
| set -o nounset | ||
| set -o pipefail | ||
| set -o errexit | ||
| basic-head() { | ||
| local title=$1 | ||
| cat <<EOF | ||
| <!DOCTYPE html> | ||
| <html> | ||
| <head> | ||
| <title>$title</title> | ||
| <style> | ||
| body { | ||
| margin: 0 auto; | ||
| width: 40em; | ||
| } | ||
| #home-link { | ||
| text-align: right; | ||
| } | ||
| </style> | ||
| </head> | ||
| <body> | ||
| <p id="home-link"> | ||
| <a href="/">oilshell.org</a> | ||
| </p> | ||
| <h3>$title</h3> | ||
| <p> | ||
| EOF | ||
| } | ||
| basic-tail() { | ||
| cat <<EOF | ||
| </body> | ||
| </html> | ||
| EOF | ||
| } | ||
| "$@" |
0 comments on commit
82e936a