tools/userland-unpack
changeset 666 3e3828ae1878
parent 34 d20b10eba317
child 2054 5f403d9bcaad
equal deleted inserted replaced
665:610373f31752 666:3e3828ae1878
    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