Files missing from original commit

This commit is contained in:
Simon Brooke 2022-09-07 15:46:36 +01:00
parent 69314e946a
commit d2983908ee
No known key found for this signature in database
GPG key ID: A7A4F18D1D4DF987
3 changed files with 25 additions and 1 deletions

12
src/sh/format-chars.awk Normal file
View file

@ -0,0 +1,12 @@
#!/usr/bin/awk -f
# Hackery to format the data structure for the entries.
BEGIN {printf( "[[ "); COL=0;}
{printf( "\"%s\" ", $1);
COL++;
if (COL == 12) {
COL=0;
printf(" ]\n[ ");
}}
END {print( " ]]");}