tools/userland-unpack
branchoi_151a
changeset 356 e675e27edfcb
parent 34 d20b10eba317
equal deleted inserted replaced
355:5accb388ed3d 356:e675e27edfcb
    42 		uncompress = "/usr/bin/gzip -dc"
    42 		uncompress = "/usr/bin/gzip -dc"
    43 	elif (re.search("(\.Z)$", filename) != None):
    43 	elif (re.search("(\.Z)$", filename) != None):
    44 		uncompress = "/usr/bin/uncompress -c"
    44 		uncompress = "/usr/bin/uncompress -c"
    45 	elif (re.search("(\.7z)$", filename) != None):
    45 	elif (re.search("(\.7z)$", filename) != None):
    46 		uncompress = "/usr/bin/7z --s"
    46 		uncompress = "/usr/bin/7z --s"
       
    47 	elif (re.search("(\.xz)$", filename) != None):
       
    48 		uncompress = "/usr/bin/xz -dc"
    47 	elif (re.search("(\.zip)$", filename) != None):
    49 	elif (re.search("(\.zip)$", filename) != None):
    48 		uncompress = "/usr/bin/unzip -qo"
    50 		uncompress = "/usr/bin/unzip -qo"
    49 
    51 
    50 	unpack = " | gtar -xf -"
    52 	unpack = " | gtar -xf -"
    51 
    53