Re: rinominare estensione di file

To: Debian <debian-italian@lists.debian.org>
Subject: Re: rinominare estensione di file
From: dixie <dixie@dixienet.it>
Date: Wed, 29 Sep 2004 12:28:30 +0200
Message-id: <[🔎] 1096453709.1856.0.camel@excalibur.WORKGROUP>
In-reply-to: <[🔎] 20040929112439.557e1f6f.radio@frequenze.it>
References: <[🔎] 1096446954.2921.3.camel@excalibur.WORKGROUP> <[🔎] 415A7679.7080607@campana.vi.it> <[🔎] 20040929085511.32385.qmail@webmail2.aruba.it> <[🔎] 20040929112439.557e1f6f.radio@frequenze.it>

> 
> Se conosci l'estensione:
> rename s/.ext$/.EXT/ *.ext
> 
Grazie funziona perfettamente.

Paolo

Reply to:

References:
- rinominare estensione di file
  - From: dixie <dixie@dixienet.it>
- Re: rinominare estensione di file
  - From: Ottavio Campana <ottavio@campana.vi.it>
- Re: rinominare estensione di file
  - From: "dixie" <dixie@dixienet.it>
- Re: rinominare estensione di file
  - From: gandu <radio@frequenze.it>

Prev by Date: Re: rinominare estensione di file
Next by Date: Re: webmin povero sotto debian
Previous by thread: Re: rinominare estensione di file
Next by thread: Re: rinominare estensione di file
Index(es):
- Date
- Thread