diff options
| author | Austin Clements <amdragon@mit.edu> | 2011-09-07 12:38:24 -0400 | 
|---|---|---|
| committer | Austin Clements <amdragon@mit.edu> | 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 | 
