Utilities for local file operations


file_extract_to_directory(compressed_file, target_dir)

Extracts the file given by ${compressed_file} to the directory ${target_dir}. Appropriate decompressor is chosen depending on file extension, currently unzip for *.zip and tar for everything else. After uncompress a marker file is written, indicating successful decompression. If this file is present when called decompression is skipped.

source ""

file_extract_to_directory "" "/tmp"