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

Groups > comp.lang.python > #76301

Re: how to change the time string into number?

Show all headers | View raw

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

Back to comp.lang.python | Previous | Next | Find similar | Unroll thread

Thread

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

csiph-web