Andrea Ganduglia ha scritto:
> Forse ho fatto un esempio un po' stupido, ma ho la necessita` di
> capire se un file e' presente su un server remoto via http.
Assumendo che il server ti dia la lista dei files che ci sono nella
directory dove vuoi verificare la presenza del file
(http://www.dominio
Andrea Ganduglia wrote:
wget file_remoto
if [ $? -gt 0 ]; then
echo "wget ha dato errore"
fi
Forse ho fatto un esempio un po' stupido, ma ho la necessita` di
capire se un file e' presente su un server remoto via http.
..e questo si farebbe utilizzando un programma per scaricarlo (tipo...
Andrea Ganduglia wrote:
On 10/5/05, Maurizio Manetti <[EMAIL PROTECTED]> wrote:
Andrea Ganduglia wrote:
Ciao, avrei la necessita` di scrivere uno script di bash che faccia questo:
if [ IL FILE http://www.qualchesito.com/file.ext ESISTE? ]; then
wget file_remoto
elif [ IL MIRROR DI
On 10/5/05, Maurizio Manetti <[EMAIL PROTECTED]> wrote:
> Andrea Ganduglia wrote:
>
> >Ciao, avrei la necessita` di scrivere uno script di bash che faccia questo:
> >
> >if [ IL FILE http://www.qualchesito.com/file.ext ESISTE? ]; then
> >
> >wget file_remoto
> >
> >elif [ IL MIRROR DI QUESTO FILE E
Andrea Ganduglia wrote:
>Ciao, avrei la necessita` di scrivere uno script di bash che faccia questo:
>
>if [ IL FILE http://www.qualchesito.com/file.ext ESISTE? ]; then
>
>wget file_remoto
>
>elif [ IL MIRROR DI QUESTO FILE ESISTE? ]; then
>
>wget file_mirror
>
>fi
>
Non ne hai bisogno: se il file
Ciao, avrei la necessita` di scrivere uno script di bash che faccia questo:
if [ IL FILE http://www.qualchesito.com/file.ext ESISTE? ]; then
wget file_remoto
elif [ IL MIRROR DI QUESTO FILE ESISTE? ]; then
wget file_mirror
fi
Sarebbe anche utile che la funzione restituisse la data di
aggiorna
6 matches
Mail list logo