[PIPython] proprietà di un file

[Nicola Larosa]

> per cortesia qualcuno sa come ricavare le proprieta' da un file :
> ad esempio :
> dimensione
> data creazione
> ora creazione
> 
> nel nostro meraviglioso linguaggio di programmazione?

Meraviglioso è la parola giusta. :-)

>>> import os
>>> os.path.getsize('/etc/hosts')
1335L
>>> os.path.getctime('/etc/hosts')
1132525110
>>> os.path.getmtime('/etc/hosts')
1124347038

http://docs.python.org/lib/module-os.path.html

Attenzione che ctime è la data/ora di creazione su Windows, ma sui vari
Unix è la data di ultima modifica dei metadati (nome, diritti, altro).
Invece mtime è la data/ora di ultima modifica (dei contenuti) ovunque.

Quei numeracci che vedi sono dei timestamp in secondi a partire dallo Epoch
di Unix, 1970-01-01 0:00:00. Li puoi gestire con le librerie time e datetime.

-- 
Nicola Larosa - nico a tekNico.net

The only thing the meek inherit is their ass being handed to them.
 -- Elaine "hfb" Ashton, October 2005