Re: convert "$1" "${1/.jpg/.pdf}"

[Antonio Macchi <antonio_macchi@alice.it>]

Pol Hallen wrote:
> > forse cosi'?
> > convert "$1" "${1%.jp*g}".pdf
> wow! funziona :-)
> appende al nome del file l'estensione pdf, c'e' modo di rinominarlo?
>
> Pol

rinominarlo?


puoi estrarre il nome senza estensione, con

basename=${1%.jp*g}

e quindi modificarlo come vuoi... ma non ho ben capito cosa vuoi fare



--
Il Paradiso sono gli altri - Ertras