Debian
Debian-France
Debian-Facile
Debian-fr.org
Forum-Debian.fr
Debian ?
Communautés
Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format
PDF et la grise au format ODT →
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
utilisateurs:gonzoleri:tutos:guixsd-0.16-en-dual-boot-avec-debian-testing-sid [09/01/2020 22:02] gonzoleri [Utilisation] |
utilisateurs:gonzoleri:tutos:guixsd-0.16-en-dual-boot-avec-debian-testing-sid [27/08/2020 17:27] (Version actuelle) gonzoleri [Utilisation] |
||
|---|---|---|---|
| Ligne 235: | Ligne 235: | ||
| A faire à peu près une fois par semaine | A faire à peu près une fois par semaine | ||
| - | <code user>$ guix pull </code> | + | <code user>$ guix pull</code> |
| + | <code user>$ guix package -u</code> | ||
| <code user>$ sudo guix system reconfigure /etc/config.scm</code> | <code user>$ sudo guix system reconfigure /etc/config.scm</code> | ||
| <code root># reboot</code> | <code root># reboot</code> | ||
| Ligne 461: | Ligne 462: | ||
| <code user>$ mpv https://icecast.radiofrance.fr/francemusique-midfi.mp3?id=radiofrance</code> | <code user>$ mpv https://icecast.radiofrance.fr/francemusique-midfi.mp3?id=radiofrance</code> | ||
| + | |||
| + | Convertir un mp4 en mp3 : | ||
| + | |||
| + | <code user>$ ffmpeg -i video.mp4 -vn -ab 192k -acodec libmp3lame -ac 2 audio.mp3</code> | ||
| **MACHINE ViRTUELLE** | **MACHINE ViRTUELLE** | ||
