Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.user > #177775

Re: An Odd File Name

Show all headers | View raw

	First, thank you to both responders. Next, I really
goofed. I forgot that gunzip normally removes the .gz file when
it runs so what I had in place of the .gz file was

InstallingGRFromSource#Using-the-build-gnuradio-script

without the extension. I didn't even miss it when I did rm -i *
so I was thinking nothing had happened.

	Some days, some of us are just absentminded. I always
feel really bad if that causes other people to waste their time.
The file name actually needed no specialtreatment at all and
gunzip just worked.

Again, thank you.

Martin

Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

An Odd File Name "Martin McCormick" <martin.m@suddenlink.net> - 2017-02-13 18:10 +0100
  Re: An Odd File Name John Darrah <xyllyx@gmail.com> - 2017-02-13 18:20 +0100
  Re: An Odd File Name Greg Wooledge <wooledg@eeg.ccf.org> - 2017-02-13 18:20 +0100
    Re: An Odd File Name "Martin McCormick" <martin.m@suddenlink.net> - 2017-02-13 19:30 +0100
  Re: An Odd File Name Jude DaShiell <jdashiel@panix.com> - 2017-02-13 19:30 +0100
  Re: An Odd File Name David Wright <deblis@lionunicorn.co.uk> - 2017-02-13 20:00 +0100
    Re: An Odd File Name Jonathan Dowland <jmtd@debian.org> - 2017-02-14 10:40 +0100
  Re: An Odd File Name Patrick Bartek <nemommxiv@gmail.com> - 2017-02-14 01:20 +0100

csiph-web