|
DataMuseum.dkPresents historical artifacts from the history of: DKUUG/EUUG Conference tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about DKUUG/EUUG Conference tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: T m
Length: 672 (0x2a0)
Types: TextFile
Names: »make_all_pxl«
└─⟦52210d11f⟧ Bits:30007239 EUUGD2: TeX 3 1992-12
└─⟦c319c2751⟧ »unix3.0/TeX3.0.tar.Z«
└─⟦036c765ac⟧
└─⟦this⟧ »TeX3.0/TeXcontrib/sauter/make_all_pxl«
└─⟦060c9c824⟧ Bits:30007080 DKUUG TeX 2/12/89
└─⟦this⟧ »./tex82/TeXcontrib/sauter/make_all_pxl«
└─⟦52210d11f⟧ Bits:30007239 EUUGD2: TeX 3 1992-12
└─⟦63303ae94⟧ »unix3.14/TeX3.14.tar.Z«
└─⟦c58930e5c⟧
└─⟦this⟧ »TeX3.14/TeXcontrib/sauter/make_all_pxl«
#! /bin/csh -f
# Make a set of pxl files.
# Get the list of possible files.
if (-d gf && -d pxl) then
cd gf
set font_list=`/bin/ls *gf`
cd ..
else
echo 'No subdirectories gf and pxl.'
exit(1)
endif
# Has this already been run?
set out_file = make_pxl_files
if (-e $out_file) then
echo "The script $out_file already exists."
exit(2)
endif
# Before all the font-generating, need:
echo '#! /bin/csh -f' >> $out_file
echo 'cd gf' >> $out_file
foreach font ($font_list)
if ($font =~ *[0-9]gf) then
echo "gftopxl $font" >> $out_file
echo "/bin/mv $font:r*pxl ../pxl" >> $out_file
endif
end
# Make it executable.
chmod +x $out_file