mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
4a2cd259e3
Add the GzipTarFileWriter and GzipTarReader classes that allow reading a slightly custom `.tar.gz`.
21 lines
550 B
Bash
Executable File
21 lines
550 B
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
set -euo pipefail
|
|
|
|
TEMP_FILE=$(mktemp --tmpdir --suffix=.tar.gz tmp.revng.GzipTarFileGeneratorTest.XXXXXXXXXX)
|
|
trap 'rm -f -- "$TEMP_FILE"' EXIT
|
|
|
|
"$1/test_GzipTarFileGenerator" foo foo2 bar bar2 > "$TEMP_FILE"
|
|
CONTENTS=$(tar -tf "$TEMP_FILE")
|
|
|
|
[[ $(wc -l <<< "$CONTENTS") -eq 2 ]]
|
|
|
|
grep -qF 'foo' <<< "$CONTENTS"
|
|
grep -qF 'bar' <<< "$CONTENTS"
|
|
|
|
[[ $(tar -xf "$TEMP_FILE" foo --to-stdout) = "foo2" ]]
|
|
[[ $(tar -xf "$TEMP_FILE" bar --to-stdout) = "bar2" ]]
|