RandomNotes.wiki
changeset 1731 4fc410bc434e
parent 1728 26fbc53190c5
child 1749 91756d20ce3e
equal deleted inserted replaced
1730:c9f52b7cae3d 1731:4fc410bc434e
    14 
    14 
    15 Run this in a shell:
    15 Run this in a shell:
    16 
    16 
    17 <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>
    17 <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>
    18 
    18 
    19 Input file: `map.hwmap`
    19  * Input file: `map.hwmap`
    20 Output file: `temp.lua`
    20  * Output file: `temp.lua`
       
    21