Sérieusement, je n’ai jamais accroché à vim, et je ne suis pas parvenu à me faire à emacs. Si j’ai un environnement graphique sous la main, gedit me va bien. Pour des petites modifications ou en ssh, j’aime nano.

Seulement voilà, nano peut demander quelques modifications pour être plus convivial.

La souris

Avec le raccourci clavier Alt + m , la souris sera activée et permettra de pointer précisément dans le fichier. Pratique pour un copier / coller. Le double clic permet de faire une sélection.

Pour une raison obscure, l’activation de la souris, désactive le défilement molette. Il faut alors la désactiver avec de nouveau un Alt + m

Pour que la souris soit activée par défaut, modifier le fichier /etc/nanorc , dé-commenter la ligne :

 

L’indentation

Encore une fois dans le fichier /etc/nanorc :

 

La coloration syntaxique

Le tuto de Korben qu’il est très bien fait.

Pour faire un petit enregistrement d’un flux depuis le terminal, wget est votre ami !

Vous pouvez essayer :

Ç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 :

 

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 :

 

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.

 

Dernière étape, programmer à heure fixe l’enregistrement avec crontab :

A la fin du fichier, cette ligne fera l’affaire :

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)