Un-ignored: the dev drive is the ground truth the restoration and emulator work constantly reference (DPL3/LIBDPL + VRENDER i860 renderer source, BT/RP live+dev game trees, VGL_LABS pod boot, scene/audio content). Kept in-repo for the pod-owner community. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
63 lines
2.1 KiB
Batchfile
63 lines
2.1 KiB
Batchfile
echo off
|
|
if %5. == . goto usage
|
|
if exist \dfi\disk%1\x1%1%2.dfi goto okay1
|
|
|
|
echo -- ***** DIGI-FONT file \dfi\disk%1\x1%1%2.dfi NOT FOUND. *****
|
|
echo --
|
|
|
|
:usage
|
|
echo -- Before running DFIxx, you must install a DIGI-FONT (tm) font disk.
|
|
echo -- (Available as a separate product from DIGI-FONTS, Inc.)
|
|
echo --
|
|
echo -- Usage: dfixx DD X FONTNAME XXX NN
|
|
echo --
|
|
echo -- "DD" is the DIGI-FONT disk #. Note: Must be "01" for #1,
|
|
echo -- "02" for #2. Always use a two-digit number here.
|
|
echo -- "X" is the font #1 thru 8 on that disk. A one-digit number.
|
|
echo -- "FONTNAME" is whatever name you choose for the font, up to 8 letters.
|
|
echo -- Blanks cannot be used in the name.
|
|
echo -- "XXX" is size in tenths of a point.
|
|
echo -- "NN" is a font size in DPaint's menu (8,12,18,24,36,48,56,72,96).
|
|
echo --
|
|
echo -- Example: "dfixx 01 3 pine 98 36"
|
|
echo --
|
|
echo -- loads from disk #01, font #3, 9.8 points tall (39 pixels).
|
|
echo -- Digi-font calls this font 1013. DPaint font name will be PINE, 36.
|
|
echo -- The font really is 39 pixels tall, even though it will be selected
|
|
echo -- in the menu as 36.
|
|
echo -- To calculate point size: #pixels * 10 / 4 = # tenths-of-points.
|
|
echo -- e.g.: 39 * 10 / 4 = 97 1/2, round to 98.
|
|
echo -- to check math: 98 means 9.8 points * 4 pixels/point = 39.2 pixels.
|
|
goto end
|
|
|
|
:okay1
|
|
if %5==8 goto ok
|
|
if %5==12 goto ok
|
|
if %5==18 goto ok
|
|
if %5==24 goto ok
|
|
if %5==36 goto ok
|
|
if %5==48 goto ok
|
|
if %5==56 goto ok
|
|
if %5==72 goto ok
|
|
if %5==96 goto ok
|
|
echo -- Fifth parameter (%5) must be changed to a size in DPaint's font menu:
|
|
echo -- (8,12,18,24,36,48,56,72,96).
|
|
goto end
|
|
|
|
:ok
|
|
echo -- Accessing Digi-font 1%1%2 (from disk #%1, font #%2).
|
|
echo -- Actual size in tenths of points: %4
|
|
echo --
|
|
echo -- You have told DPaint to refer to the font as follows.
|
|
echo -- Name: %3
|
|
echo -- Menu size in pixels: %5
|
|
echo -- This name will appear in the Choose Font dialog when Monochrome
|
|
echo -- is selected.
|
|
echo --
|
|
echo on
|
|
digifont\soft -ap%4 -rx21-x7f \dfi\disk%1\x1%1%2.dfi -omonofont\%3.m%5
|
|
echo off
|
|
goto end
|
|
|
|
:end
|
|
|