projects
/
web.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
7747833
)
change the way we expect the header to look in the README
author
Ralf Jung
<post@ralfj.de>
Wed, 7 Oct 2015 11:45:37 +0000
(13:45 +0200)
committer
Ralf Jung
<post@ralfj.de>
Wed, 7 Oct 2015 11:45:37 +0000
(13:45 +0200)
build.sh
patch
|
blob
|
history
diff --git
a/build.sh
b/build.sh
index 4305b3b8cf6ab1677257579cbd296a243d49e7c1..56157d3e07334a7a26bce14ccc3c64155eacd71e 100755
(executable)
--- a/
build.sh
+++ b/
build.sh
@@
-28,7
+28,7
@@
for PROJECT in lilass schsh; do
OUTFILE="projects/$PROJECT/index.md"
# process it
echo "---" > "$OUTFILE"
OUTFILE="projects/$PROJECT/index.md"
# process it
echo "---" > "$OUTFILE"
- head -n 1 "$INFILE" | sed 's/
\(.*\)
/title: "\1"/' >> "$OUTFILE"
+ head -n 1 "$INFILE" | sed 's/
^# \(.*\)$
/title: "\1"/' >> "$OUTFILE"
echo "---" >> "$OUTFILE"
echo >> "$OUTFILE"
tail -n +3 "$INFILE" >> "$OUTFILE"
echo "---" >> "$OUTFILE"
echo >> "$OUTFILE"
tail -n +3 "$INFILE" >> "$OUTFILE"