path: root/d

#!/bin/sh

ork_file=MJB-L3.ork

if file ${ork_file} | grep -q "Zip archive"; then
  mv ${ork_file} ${ork_file}.gz
  gunzip ${ork_file}.gz
fi