Re: rinominare con bash

2010-03-20 Per discussione Andrea Giuliano
Riprendo il suggerimento di Alessandro T., generalizzandolo secondo quanto dicevi a Paolo Pecorelli: $ aaa=ciao.jpeg $ echo $aaa ciao.jpeg $ echo ${aaa%.*} ciao La sintassi %.* toglie dal fondo della stringa l'ultima occorrenza dell'espressione regolare .*, che in questo caso è .jpeg, ma come

Re: rinominare con bash

2010-03-19 Per discussione angelo
la regexp corretta per selezionare indifferentemente un file jpg o jpeg maiuscolo o minuscolo che sia può essere la seguente: .*\\.[jJ][pP][eE]{0\,1}[gG]$ ciao. Alessandro T. wrote: Pol Hallen ha scritto: eccomi di nuovo alle prese con la bash: convert $1 ${1%/.jp?g/}.pdf

rinominare con bash

2010-03-18 Per discussione Pol Hallen
eccomi di nuovo alle prese con la bash: convert $1 ${1%/.jp?g/}.pdf questo lo uso nel servicemenu di kde per convertire i jpg in pdf, solo che il risultato e': da nomefile.jpg mi crea nomefile.jpg.pdf com'e' che si rinominava (togliendo jpg) cioe' avere: nomefile.pdf? sto cercando con sed ma

Re: rinominare con bash

2010-03-18 Per discussione Paolo Nicorelli
2010/3/18 Pol Hallen debitv...@fuckaround.org eccomi di nuovo alle prese con la bash: convert $1 ${1%/.jp?g/}.pdf Prova con convert $1 ${1/.jpg/}.pdf

Re: rinominare con bash

2010-03-18 Per discussione Pol Hallen
Prova con convert $1 ${1/.jpg/}.pdf eh ma poi sono vincolato coi soli file jpg (a volte l'estensione e' jpeg e non posso stare rinominarli tutti) Pol -- Per REVOCARE l'iscrizione alla lista, inviare un email a debian-italian-requ...@lists.debian.org con oggetto unsubscribe. Per problemi

Re: rinominare con bash

2010-03-18 Per discussione Alessandro T.
Pol Hallen ha scritto: eccomi di nuovo alle prese con la bash: convert $1 ${1%/.jp?g/}.pdf AAA=ciao.jpg BBB=mao.jpeg echo ${AAA%.jp*g}.pdf ciao.pdf echo ${BBB%.jp*g}.pdf mao.pdf -- R: Perché leggiamo dall'alto al basso e da sinistra a destra. D: Perché dovrei iniziare la risposta