Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.user > #181659
| From | Dan Ritter <dsr@randomstring.org> |
|---|---|
| Newsgroups | linux.debian.user |
| Subject | Re: Adding Date & Time to a script's output log |
| Date | 2017-06-01 17:40 +0200 |
| Message-ID | <tNAmB-4kR-3@gated-at.bofh.it> (permalink) |
| References | <tNzgS-3Gr-19@gated-at.bofh.it> <tNAcV-4gC-1@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
On Thu, Jun 01, 2017 at 03:24:05PM +0000, Ron Leach wrote: > People are so generous with their time. > > I hadn't realised that spaces were sometimes semantically relevant. (And I liked Nicolas's detox joke, well done.) > In all computer languages, the presence or absence of a space is usually relevant. In some computer languages, the number of spaces in a row is critical. In some computer languages, the kinds of whitespace have different meanings. (spaces, tabs, line feeds, 25 Unicode code points...) -dsr-
Back to linux.debian.user | Previous | Next — Previous in thread | Find similar | Unroll thread
Adding Date & Time to a script's output log SUZANNE COBB <ronleach@tesco.net> - 2017-06-01 16:30 +0200
Re: Adding Date & Time to a script's output log Don Armstrong <don@debian.org> - 2017-06-01 16:40 +0200
Re: Adding Date & Time to a script's output log Nicolas George <george@nsup.org> - 2017-06-01 16:40 +0200
Re: Adding Date & Time to a script's output log Greg Wooledge <wooledg@eeg.ccf.org> - 2017-06-01 21:00 +0200
Re: Adding Date & Time to a script's output log davidson@freevolt.org - 2017-06-01 22:00 +0200
Re: Adding Date & Time to a script's output log davidson@freevolt.org - 2017-06-01 21:00 +0200
Re: Adding Date & Time to a script's output log Greg Wooledge <wooledg@eeg.ccf.org> - 2017-06-01 16:40 +0200
Re: Adding Date & Time to a script's output log David Wright <deblis@lionunicorn.co.uk> - 2017-06-01 16:40 +0200
Re: Adding Date & Time to a script's output log Ron Leach <ronleach@tesco.net> - 2017-06-01 17:30 +0200
Re: Adding Date & Time to a script's output log Dan Ritter <dsr@randomstring.org> - 2017-06-01 17:40 +0200
csiph-web