On Tue, 17 Nov 2015, Brian wrote: > $mv file other. > $gunzip -S . other. > $ls > other > > gunzip is a tool that does seem to care what the files are named.
See the --no-name/--name option. By default the name and timestamp of the uncompressed file is saved when the file is compressed so that it can be restored when it is uncompressed. -- Don Armstrong http://www.donarmstrong.com That's the wonderful thing about crayons. They can take you to more places than a starship. -- Guinan "Star Trek: The Next Generation: Rascals (#6.7)"
