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

Groups > comp.lang.python > #76301 > unrolled thread

Re: how to change the time string into number?

Back to article view | Back to comp.lang.python

This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by below is the oldest one visible, not the original post.

Contents

  Re: how to change the time string into number? Ben Finney <ben+python@benfinney.id.au> - 2014-08-14 23:10 +1000

#76301 — Re: how to change the time string into number?

Dennis Lee Bieber <wlfraed@ix.netcom.com> writes:

> 	"Android" /is/ the flavor <G>
>
> 	Though Google has probably done some things to it that make it
> "not-Linux".

Android is definitely Linux, since that is the kernel Android runs.
Remember that Linux is not an operating system; it is one part, the
kernel.

This is where it's very useful to have a distinct name to refer to the
operating system. GNU is an operating system, Android is a completely
different operating system. Both happen to have Linux as their kernel.

-- 
 \         “I went to San Francisco. I found someone's heart.” —Steven |
  `\                                                            Wright |
_o__)                                                                  |
Ben Finney

[toc] | [standalone]

Back to top | Article view | comp.lang.python

csiph-web