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


Groups > linux.debian.user > #181659

Re: Adding Date & Time to a script's output log

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

Show all headers | View raw


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


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