Bumped output 2mg size to 5 megs, since we just exceeded 800k. Translate dotdotdot character to dots.

This commit is contained in:
Martin Haye 2019-07-18 16:28:39 -05:00
parent 0f79aba535
commit 4965f80b58
3 changed files with 4 additions and 2 deletions

View File

@ -260,10 +260,12 @@ class A2PackPartitions
else
printWarning("Unrecognized control code '^" + ch + "'")
}
else if (ch == '“' || ch == '”')
else if (ch == '“' || ch == '”') // translate smart quotes to straight quotes
buf << '\"'
else if (ch == '' || ch == '')
buf << '\''
else if (ch == '…') // dot-dot-dot character
buf << "..."
else if (Character.codePointAt(ch, 0) > 127)
printWarning("Non-ASCII character '" + ch + "' found")
else
@ -4289,7 +4291,7 @@ end
// No need to delete old file; that was done by outer-level code.
def dst = new File("game.2mg")
Files.copy(new GZIPInputStream(new FileInputStream(
jitCopy(new File("build/data/disks/base_800k.2mg.gz")))), dst.toPath())
jitCopy(new File("build/data/disks/base_5m.2mg.gz")))), dst.toPath())
// Now put the files into the image
String[] args = ["-put", "game.2mg", "/", "build/root"]

Binary file not shown.