xv6

commit 5c87802de2b1d3fc8c912ab2995760aa8d5b7dbf
parent 5304c854a423be0e718f187d47277b30cb71cbc5
Author: Austin Clements <amdragon@mit.edu>
Date:   Wed,  7 Sep 2011 12:38:24 -0400

Fetch nice font from font branch, if possible

Diffstat:
M
runoff
 | 
12
+++++++++---

1 file changed, 9 insertions(+), 3 deletions(-)
diff --git a/runoff b/runoff
@@ -223,11 +223,17 @@ awk '
 grep Pages: all.ps
 
 # if we have the nice font, use it
-nicefont=../LucidaSans-Typewriter83
-if [ -f $nicefont ]
+nicefont=LucidaSans-Typewriter83
+if [ ! -f ../$nicefont ]
+then
+	if git cat-file blob font:$nicefont > ../$nicefont~; then
+		mv ../$nicefont~ ../$nicefont
+	fi
+fi
+if [ -f ../$nicefont ]
 then
 	echo nicefont
-	(sed 1q all.ps; cat $nicefont; sed '1d; s/Courier/LucidaSans-Typewriter83/' all.ps) >allf.ps
+	(sed 1q all.ps; cat ../$nicefont; sed "1d; s/Courier/$nicefont/" all.ps) >allf.ps
 else
 	echo ugly font!
 	cp all.ps allf.ps