#!/usr/bin/python

#This file is run on Linux
import os
#Compress all html resources

os.system('/usr/bin/7z a microIDE.html.gz microIDE.html -aoa -mx=9  -tgzip>/dev/null')
os.system('/usr/bin/7z a microIDE.css.gz microIDE.css -aoa -mx=9  -tgzip>/dev/null')
os.system('/usr/bin/7z a microIDE.js.gz microIDE.js -aoa -mx=9  -tgzip>/dev/null')
os.system('/usr/bin/7z a favicon.svg.gz favicon.svg -aoa -mx=9  -tgzip>/dev/null')
os.system('/usr/bin/7z a board.svg.gz board.svg -aoa -mx=9  -tgzip>/dev/null')
            #Ace.js is already compressed
            #mode-python.js is already compressed
            #chart.js is already compressed

