File: mk-html5-header-conf.sh

package info (click to toggle)
mlton 20130715-3
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 60,900 kB
  • ctags: 69,386
  • sloc: xml: 34,418; ansic: 17,399; lisp: 2,879; makefile: 1,605; sh: 1,254; pascal: 256; python: 143; asm: 97
file content (6 lines) | stat: -rwxr-xr-x 264 bytes parent folder | download
1
2
3
4
5
6
#!/bin/sh

prefix="$2"
csplit -f ${prefix} -n 2 -s $1 '%\[header\]%' '/<body.*>/+1' '/<div id="content">/+1'
(cat ${prefix}00 ; echo "<div id=\"banner\">"; echo "template::[banner-body]"; echo "</div>"; cat ${prefix}01) > $2
rm ${prefix}00 ${prefix}01 ${prefix}02