RandomNotes: Add newline at end
authorWuzzy
Tue, 16 Apr 2019 13:51:35 +0100
changeset 1731 4fc410bc434e
parent 1730 c9f52b7cae3d
child 1732 959b9f69564c
RandomNotes: Add newline at end
RandomNotes.wiki
--- a/RandomNotes.wiki	Tue Apr 16 13:50:59 2019 +0100
+++ b/RandomNotes.wiki	Tue Apr 16 13:51:35 2019 +0100
@@ -16,5 +16,6 @@
 
 <code>IN="map.hwmap";OUT="temp.lua";base64 -d $IN | tail -c +7 | head -c -4 > foo;echo -ne "\x1f\x8b\x08\0\0\0\0\0\x02\xff" > bar;cat bar foo | gunzip > baz;C=0;echo -n "local map = { " >> $OUT;od -w240 -t u1 baz | grep -Ev "^[0-9]*[[:space:]]*$" | while read f;do C=$((C+1));if ((C!=1));then echo "," >> $OUT;fi;echo -n $f | sed "s/^......./'/;s/  */\\\\/g;s/$/'/" >> $OUT;done;echo "}" >> $OUT</code>
 
-Input file: `map.hwmap`
-Output file: `temp.lua`
+ * Input file: `map.hwmap`
+ * Output file: `temp.lua`
+