diff options
-rwxr-xr-x | d | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -0,0 +1,9 @@ +#!/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 + |
![]() |
index : mjb/MJB-L3 | |
Unnamed repository; edit this file 'description' to name the repository. | Mike Beattie |
summaryrefslogtreecommitdiff |
-rwxr-xr-x | d | 9 |
@@ -0,0 +1,9 @@ +#!/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 + |