nix-helpers: 5bbde9880a78a5d23fb0b6a0cc597466cf6c68fe

     1: # Extract a given tarball. If it's not a tarball, just copy.
     2: { runCommand }:
     3: 
     4: name: src:
     5: runCommand name { inherit src; } ''
     6:   isTar() {
     7:     echo "$1" | grep -i '\.tar' 1>/dev/null && return 0
     8:     echo "$1" | grep -i '\.tgz' 1>/dev/null && return 0
     9:     return 1
    10:   }
    11: 
    12:   if [[ -d "$src" ]]
    13:   then
    14:     cp -r "$src" "$out"
    15:   else if isTar "$src"
    16:     then
    17:       # Extract top-level directory (whatever it's called) to $out
    18:       mkdir "$out"
    19:       tar xf "$src" -C "$out" --strip-components 1
    20:     else
    21:       cp -r "$src" "$out"
    22:     fi
    23:   fi
    24: ''