author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Sat, 20 Feb 2016 14:43:09 +0200 | |
changeset 1892 | 158115e70f3d |
parent 1889 | 265b8d0f6149 |
permissions | -rwxr-xr-x |
902
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
1 |
#!/bin/sh |
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
2 |
|
1784 | 3 |
cat <<EOF |
4 |
<html> |
|
5 |
<head> |
|
6 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
|
7 |
<title>Tips</title> |
|
8 |
<style type="text/css"> |
|
1785
368beeffcae6
Use width more efficiently.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1784
diff
changeset
|
9 |
ul { padding-left: 1em; } |
1889
265b8d0f6149
Generate UX friendly index.html with iframe to tips index.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1785
diff
changeset
|
10 |
a { text-decoration: none; } |
1784 | 11 |
a:link { color: brown; } |
12 |
a:visited { color: IndianRed; } |
|
13 |
a:hover { background: bisque; border-radius: 10px; padding: 1px; } |
|
14 |
</style> |
|
15 |
</head> |
|
16 |
<body> |
|
17 |
<h1>Tips</h1> |
|
18 |
<ul> |
|
19 |
EOF |
|
902
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
20 |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
21 |
for file in *.rst *.txt; do |
1336 | 22 |
case $file in |
23 |
HEADER.rst) continue; |
|
24 |
esac |
|
902
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
25 |
ext=${file##*.} |
1078 | 26 |
[ "$ext" = "rst" ] && ext=html |
27 |
name=${file%.*} |
|
28 |
case "$1" in |
|
1079
ef0805397b5b
Generate index.html without "target=article" so links open in current browser tab.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1078
diff
changeset
|
29 |
html) echo " <li><a href=\"$name.$ext\">$name</a>" ;; |
1078 | 30 |
frame) echo " <li><a href=\"$name.$ext\" target=\"article\">$name</a>" ;; |
31 |
*) exit 1 ;; |
|
902
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
32 |
esac |
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
33 |
done |
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
34 |
|
1784 | 35 |
cat <<EOF |
36 |
<p> |
|
37 |
<address> |
|
38 |
<a href="mailto:gavenkoa@gmail.com">Oleksandr Gavenko</a> |
|
39 |
</address> |
|
40 |
</body> |
|
41 |
</html> |
|
42 |
EOF |