Userland: gunzip if filename doesn't end in .gz append it.

This is the behaviour of gzip on my Linux system.
This commit is contained in:
asynts 2020-09-07 19:09:21 +02:00 committed by Andreas Kling
parent 049f709d0b
commit b0ba7a897f
Notes: sideshowbarker 2024-07-19 02:46:31 +09:00

View file

@ -55,8 +55,9 @@ int main(int argc, char** argv)
if (write_to_stdout)
keep_input_files = true;
for (StringView filename : filenames) {
ASSERT(filename.ends_with(".gz"));
for (String filename : filenames) {
if (!filename.ends_with(".gz"))
filename = String::format("%s.gz", filename);
const auto input_filename = filename;
const auto output_filename = filename.substring_view(0, filename.length() - 3);