Exile on Keyboard St. - Blog sur Linux et Debian

Aller au contenu | Aller au menu | Aller à la recherche

dimanche 30 décembre 2018

Des vidéos de vos sessions de Terminal avec asciinema !

Quand on souhaite partager une technique ou une commande en faisant une vidéo, on a souvent recours à un logicel comme RecordMyDesktop ou Camtasia.

Ces logiciels demandent un peu de discipline comme par exemple sélectionner la fenêtre d'enregistrement, régler le volume du micro et ne pas se tromper dans le commentaire !

Mais quand il s'agit d'illustrer des commandes faites dans un terminal, il y a une méthode beaucoup plus légère et simple qui se nomme Asciinema, un projet initié par Marcin Kulik.

En effet, Asciinema permet d'enregistrer la session de votre terminal directement depuis celui-ci, tout en conservant les couleurs du terminal et les informations de "timing", et tout cela dans un fichier texte puisqu'une vidéo Asciinema est un fichier .json !

Une fois votre "vidéo" terminée, vous pourrez la rejouer, la partager mais aussi l'enregistrer et la publier sur le site d'Asciinema.

Installer Asciinema

Le plus simple pour disposer de la version la plus récente d'Asciinema est de l'installer avec Python:

sudo pip3 install asciinema
Downloading/unpacking asciinema
  Downloading asciinema-2.0.1.tar.gz
  Running setup.py (path:/tmp/pip-build-s4u_o9a3/asciinema/setup.py) egg_info for package asciinema
    
Installing collected packages: asciinema
  Running setup.py install for asciinema
    
    Installing asciinema script to /usr/local/bin
Successfully installed asciinema
Cleaning up...

On a alors:

which asciinema 
/usr/local/bin/asciinema

Et:

asciinema --version
asciinema 2.0.1

Enregistrer votre première vidéo avec Asciinema

Pour enregistrer notre première vidéo, on va entrer la commande suivante dans le terminal:

asciinema rec -t "My first asciinema video"

Cliquez sur le lien suivant pour une démo de l'utilisation d'Asciinema.

On peut voir que les commandes passées sont rejouées à la même vitesse et que les couleurs du terminal sont conservées.

Pendant que la vidéo se joue, vous pouvez sélectionner du texte avec la souris et ainsi utiliser le copier/coller !

Publier ou enregistrer la vidéo

Pour arrêter l'enregistrement, il faut utiliser <ctrl-d>, on a alors le choix entre publier la vidéo sur asciinema.org ou l'enregistrer en local:

pyfourmond@charlie-watts:/tmp/new_project (master)$ exit
asciinema: recording finished
asciinema: press <enter> to upload to asciinema.org, <ctrl-c> to save locally

View the recording at:

    https://asciinema.org/a/3CgRsy57JdioG0bCXHhDbLBnw

dimanche 18 novembre 2018

Installer et configurer cheat

Il y a quelques temps déjà, j'avais présenté le projet Cheat de Chris Allen Lane, qui permet de retrouver rapidement des exemples d'utilisation pour les commandes Unix.

On va voir aujourd'hui comment l'installer, le configurer et créer nos propres "cheat sheets".

Installer cheat

cheat est écrit en Python et s'installe donc par un:

sudo pip install cheat

On vérifie la version:

cheat -v
cheat 2.3.1

Configurer cheat

On va ajouter dans notre .bashrc:

export CHEATCOLORS=true

comme cela nos antisèches seront plus jolies !

Puis on va installer le script d'autocomplétion pour Bash:

sudo curl -L https://raw.githubusercontent.com/chrisallenlane/cheat/master/cheat/autocompletion/cheat.bash -o /etc/bash_completion.d/cheat

Maintenant, cheat propose les commandes disponibles quand on appuie sur TAB. Ne pas hésiter à entrer une lettre avant TAB, sinon il nous propose 191 commandes ...

L'autocomplétion n'est pas implémentée sur les options de la commande, c'est dommage.

Ajouter une nouvelle cheatsheet

Pour ajouter une nouvelle sheet sur la commande mycmd:

cheat -e mycmd

Et vous aller alors éditer le fichier ~/.cheat/mycmd.

Si vous souhaitez changer le répertoire des "user cheat", il faut procéder comme ceci:

export CHEATPATH='/path/to/my/cheats'

Les antisèches installées par défaut sont placées dans /usr/local/lib/python3.4/dist-packages/cheat/cheatsheets.

Mettre à jour cheat

Pour mettre à jour cheat:

sudo pip install --upgrade cheat

Voilà. Happy cheating :-)

dimanche 24 juin 2018

Ecouter la radio sous Linux avec Radiotray

C'est bien agréable d'écouter un peu de musique quand on travaille, pour peu qu'on n'ait pas besoin d'être très concentré pour accomplir notre tâche en cours.

Sous Linux, l'application Radiotray permet d'écouter très simplement les radios qui diffusent un flux mp3 sur Internet.

De nombreuses radios sont préconfigurées mais les stations Françaises n'y figurent pas.

Aussi, j'ai commencé par ajouté les radios principales de Radio France:

  • France Inter
  • France Info
  • France Culture
  • France Musique

Mais ce qu'il y a de bien avec les flux MP3, c'est que le choix est plus important qu'en FM. Par exemple, pour la musique, Radio France nous propose entre autres:

  • France Musique | Classique Easy
  • France Musique | Classique Plus
  • France Musique | Concerts Radio France
  • France Musique | La Jazz

La dernière permettant de remplacer allègrement TSF, qui est une très bonne radio, mais passe désormais tellement de publicité qu'il n'est plus possible de l'écouter ...

Pour ajouter des stations avec Radiotray on peut utiliser l'interfaçe graphique précédente, mais si on veut en ajouter plusieurs on aura plus vite fait d'aller modifier directement le fichier de configuration !

Ce fichier de configuration se trouve ici: $HOME/.local/share/radiotray/bookmarks.xml

Donc, pour les radios principales de Radio France on ajoute dans le fichier le groupe "Radio France":

    <group name="Radio France">
        <bookmark name="France Inter" url="http://direct.franceinter.fr/live/franceinter-midfi.mp3"/>
        <bookmark name="France Info" url="http://direct.franceinfo.fr/live/franceinfo-midfi.mp3"/>
        <bookmark name="France Culture" url="http://direct.franceculture.fr/live/franceculture-midfi.mp3"/>
        <bookmark name="France Musique" url="http://direct.francemusique.fr/live/francemusique-midfi.mp3"/>
    </group>

Ensuite, on pourra aisément ajouter d'autres stations du groupe en piochant dans la liste des flux mp3.

Par exemple, pour les stations musicales de Radio France, on peut créer un sous-groupe du groupe Radio France que l'on nommera France Musique !

- page 1 de 11