Commit Graph

20 Commits

Author SHA1 Message Date
Jonathan Daugherty
18abb95ff4 BuildWidthTable: output nit 2020-03-06 10:20:48 -08:00
Jonathan Daugherty
261284cba7 BuildWidthTable: nits 2020-03-06 10:08:13 -08:00
Jonathan Daugherty
107be32423 BuildWidthTable: wait until the table is built before we create the output path 2020-03-06 09:35:33 -08:00
Jonathan Daugherty
b5b980c9e8 BuildWidthTable: cleanup 2020-03-06 09:34:55 -08:00
Jonathan Daugherty
63746c65e7 BuildWidthTable: add command-line flag to control which configuration file is updated 2020-03-06 09:33:57 -08:00
Jonathan Daugherty
c204e6dd21 BuildWidthTable: add command-line flag to update Vty config to use new map 2020-03-06 09:29:12 -08:00
Jonathan Daugherty
d8cdb981e1 BuildWidthTable: create Vty configuration parent directories if necessary 2020-03-06 09:18:54 -08:00
Jonathan Daugherty
eb1983d22d UnicodeWidthTable.Query: make bound configurable, make command-line tool customize it 2020-03-05 14:45:41 -08:00
Jonathan Daugherty
ea655ee90d BuildWidthTable: fix bugs 2020-03-05 09:27:41 -08:00
Jonathan Daugherty
f1b7839875 Config: expose vtyConfigPath, vtyConfigFileEnvName 2020-03-05 09:04:49 -08:00
Jonathan Daugherty
0bea225b6d Rename vty-build-table to vty-build-width-table, rename main source file 2020-03-05 08:39:16 -08:00
Jonathan Daugherty
4de0a40be0 Long line 2020-03-03 16:46:32 -08:00
Jonathan Daugherty
73950ca0de Add missing conditional import 2020-03-03 16:26:23 -08:00
Jonathan Daugherty
bd07727819 BuildUnicodeTable: print out configuration advice after finishing 2020-03-02 14:27:05 -08:00
Jonathan Daugherty
771dee8ae1 Remove stale import 2020-03-02 14:15:07 -08:00
Jonathan Daugherty
f48e4493c7 BuildUnicodeTable: use foldr 2020-03-02 13:37:32 -08:00
Jonathan Daugherty
0db1f71923 vty-build-table: use GetOpt to clean up and improve command line UI 2020-02-27 16:40:56 -08:00
Jonathan Daugherty
e0d05e3571 vty-build-table: write built table to a file for testing 2020-02-27 16:09:35 -08:00
Jonathan Daugherty
e8841e7b3d vty-build-table: call buildUnicodeWidthTable and print the result 2020-02-27 15:58:31 -08:00
Jonathan Daugherty
60c55bae3d Add tools/BuildUnicodeTable.hs, a testing program for unicode table API 2020-02-27 15:25:30 -08:00