summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAustin Clements <[email protected]>2011-09-07 12:38:24 -0400
committerAustin Clements <[email protected]>2011-09-07 12:38:24 -0400
commit5c87802de2b1d3fc8c912ab2995760aa8d5b7dbf (patch)
tree604b3b9cfc3f27faf1c63eeda88c0420b2d7abfa
parent5304c854a423be0e718f187d47277b30cb71cbc5 (diff)
downloadxv6-labs-5c87802de2b1d3fc8c912ab2995760aa8d5b7dbf.tar.gz
xv6-labs-5c87802de2b1d3fc8c912ab2995760aa8d5b7dbf.tar.bz2
xv6-labs-5c87802de2b1d3fc8c912ab2995760aa8d5b7dbf.zip
Fetch nice font from font branch, if possible
-rwxr-xr-xrunoff12
1 files changed, 9 insertions, 3 deletions
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