Accueil 首页
Blog 博客
Maison 家
Liens 链接
Mariage 婚礼
Page mise à jour Friday 03 October 2008 à 13:17:41+0200
Liste des programmes:
blog2pdf.sh
html2pdf version unicode
dyndns_update.sh
Mise à jour de dyndns via curl
get_router_ip.sh
Obtention de l'adresse IP du routeur Netgear WGR614v9
hh_nt_cmd.bat
Aide Windows sur les commandes CMD/BAT
htaccess
.htaccess chez Free (PHP5+local)
retry_wget.sh
Relance de wget jusqu'à obtention du fichier
url_modify_en_fr.js
Small javascript to change current URL
Wget -retry en boucle
Utilisation de l'option retry de wget pour conjurer les connexions de (très) mauvaise qualité.
Boucle + sleep en cas de problème et reboucle
Télécharger le fichier retry_wget.sh
#!/bin/sh
adresse=http://mirror.lupaworld.com/ubuntu/releases/hardy/ubuntu-8.04.1-alternate-i386.iso
date_debut=$(date)
encore=1
while [ ! $encore -eq 0 ]
do
wget -T 60 -c "${adresse}"
encore=$?
if [ ! $encore -eq 0 ]
then
sleep 5
fi
done
echo ${date_debut}
date
Et aussi:
Citations
Shanghai-Daishan
Langue Chinoise
Bazar
Internet en Chine
Caverne d'Ali b'ABAP
CV
Wget -retry en boucle
Utilisation de l'option retry de wget pour conjurer les connexions de (très) mauvaise qualité.Boucle + sleep en cas de problème et reboucle
Télécharger le fichier retry_wget.sh
adresse=http://mirror.lupaworld.com/ubuntu/releases/hardy/ubuntu-8.04.1-alternate-i386.iso
date_debut=$(date)
encore=1
while [ ! $encore -eq 0 ]
do
wget -T 60 -c "${adresse}"
encore=$?
if [ ! $encore -eq 0 ]
then
sleep 5
fi
done
echo ${date_debut}
date