Julian Ospald
il y a 4 ans
Parent
révision
46441d00fc
Aucune clé connue n'a été trouvée dans la base pour cette signature
ID de la clé GPG: 511B62C09D50CD28
1 fichiers modifiés avec
4 ajouts et
0 suppressions
-
ghcup
|
|
@@ -1070,6 +1070,10 @@ unpack() { |
|
|
|
debug_message "gzip -cd \"${filename}\" | tar -xf -" |
|
|
|
( gzip -cd "${filename}" | tar xf - ; ) || die "unpacking failed!" |
|
|
|
;; |
|
|
|
bz2) |
|
|
|
debug_message "bzip2 -cd \"${filename}\" | tar -xf -" |
|
|
|
( bzip2 -cd "${filename}" | tar xf - ; ) || die "unpacking failed!" |
|
|
|
;; |
|
|
|
tar) |
|
|
|
edo tar xf "${filename}" |
|
|
|
;; |
|
|
|