python, una funzione per estrarre l’estensione dal nome di un file

la matrice!

la matrice!

Potrà  capitare, agli smanettoni di Python, di dover estrarre -per fini noti a loro- l’estensione del nome di un file (magari tirato fuori da una bella listdir()).

A me é successo spesso, quindi ho scritto questa funzioncina che spero serva.

def get_extension(f):   '''returns the extension of a file'''
   from string import split, count
   if f.count(".")<=0:
      return False
   f=split(f,".")
   return f[-1]

Se invece volete estrarre solo il nome, andate qui

Buon divertimento, se avete dritte, non esitate