diff options
author | Austin Clements <[email protected]> | 2011-09-07 12:38:24 -0400 |
---|---|---|
committer | Austin Clements <[email protected]> | 2011-09-07 12:38:24 -0400 |
commit | 5c87802de2b1d3fc8c912ab2995760aa8d5b7dbf (patch) | |
tree | 604b3b9cfc3f27faf1c63eeda88c0420b2d7abfa | |
parent | 5304c854a423be0e718f187d47277b30cb71cbc5 (diff) | |
download | xv6-labs-5c87802de2b1d3fc8c912ab2995760aa8d5b7dbf.tar.gz xv6-labs-5c87802de2b1d3fc8c912ab2995760aa8d5b7dbf.tar.bz2 xv6-labs-5c87802de2b1d3fc8c912ab2995760aa8d5b7dbf.zip |
Fetch nice font from font branch, if possible
-rwxr-xr-x | runoff | 12 |
1 files changed, 9 insertions, 3 deletions
@@ -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 |