From: Austin Clements <amdragon@mit.edu>
Date: Wed, 7 Sep 2011 16:38:24 +0000 (-0400)
Subject: Fetch nice font from font branch, if possible
X-Git-Url: https://git.devinivas.org/?a=commitdiff_plain;h=5c87802de2b1d3fc8c912ab2995760aa8d5b7dbf;p=cs3210-lab0.git

Fetch nice font from font branch, if possible
---

diff --git a/runoff b/runoff
index 2b48cd5..e8ed017 100755
--- 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