Pour faire un petit enregistrement d’un flux depuis le terminal, wget est votre ami !
Vous pouvez essayer :
1 |
wget http://le_flux_de_ma_radio_favorite.mp3 |
Ça fonctionnera. Mais il faudra penser à arrêter l’enregistrement au bout d’un certain temps avec un Ctrl + c
Si vous voulez essayer avec un flux existant, voici celui de WDRV – 97.1 The Drive, une superbe radio rock de Chicago :
1 |
wget http://2443.live.streamtheworld.com:80/WDRVFM_SC |
Automatiser l’enregistrement
Pas toujours simple d’écouter une émission au moment ou elle est diffusée, entre le boulot, la famille voir même le décalage horaire avec des radios outre atlantique, il peut être pratique d’enregistrer un morceau pour se l’écouter plus tard.
Pour automatiser cela, un petit script comme celui-ci est parfait :
1 2 3 4 5 6 7 8 |
#!/bin/bash temps_en_minutes=$1 flux_radio=$2 date=$(date +%F-%k-%M) (wget $flux_radio -O $3_$date.mp3) & sleep $(($temps_en_minutes * 60)) kill $! |
Il faut le rendre éxecutable et le lancer avec les trois arguments qui sont : le temps d’enregistrement en minutes et l’URL du flux et le nom de la Radio ou de l’émission.
1 2 |
sudo chmod +X enregistrer_flux_radio.sh ./enregistrer_flux_radio.sh 5 http://2443.live.streamtheworld.com:80/WDRVFM_SC WDRV-The-Drive |
Dernière étape, programmer à heure fixe l’enregistrement avec crontab :
1 |
crontab -e |
A la fin du fichier, cette ligne fera l’affaire :
1 |
45 2 * * * /home/user/enregistrement.sh 2 http://2443.live.streamtheworld.com:80/WDRVFM_SC WDRV-The-Drive |
nb : pensez à changer le chemin vers le script
Pour rappel, le codage du temps dans cron se fait dans l’ordre :
minutes (de 0 à 59)
heure (de 0 à 23)
jour du mois (de 1 à 31)
numéro du mois (de 1 à 12)
numéro du jour dans la semaine (de 1 à 7)