mac_is_mac a écrit 624 commentaires

Je ne connais pas ton modèle, mais j'ai fait plusieurs installations de double boot Linux/Win sur des ASUS récents avec EFI.
J'ai mis un compte rendu zur le site amazon.fr pour le Asus Premium R510LC-XX306H PC.
C'est plus compliqué qu'avant EFI, mais ça se fait, il y a des tutos sur le net.

C'est le moment de citer Jack Bristow:

"Legally he's right, ethically he's an ass."

J'ai l'impression que beaucoup de gens se rappellent leurs souvenirs et ne se rendent pas bien compte de ce qu'est aujourd'hui une calculatrice programmable: c'est d'abord un outil très complexe livré sans mode d'emploi.

On a acheté cette année pour les enfants la calculatrice recommandée par l'établissement, une TI en l'occurrence.
Le mode d'emploi dans la boîte fait moins de dix pages, autant dire rien.
Sur internet, on peut télécharger un manuel de 500 pages, écris très gros, visiblement une suite de transparents: quasiment inutilisable.
Mon fils avait un exo à faire extrait du bouquin de maths, le genre que tu fais en 10 lignes d'un langage quelconque, et que pour n'importe quel langage raisonnable tu vas trouver en dix minutes avec google comment le coder (mais tout de même supérieur aux exemples du bouquin de maths, genre il fallait savoir déclarer un tableau et aller chercher un indice devant).
Eh bien bilan des courses au bout de 2h, j'en étais toujours au même point, j'ai laissé tombé et le prof de maths n'a jamais corrigé l'exercice.

Ajoute à ça que pour les tracés de courbes, il y a plein de variables internes qui peuvent se dérégler tu ne sais pas trop comment, donc tu peux avoir un truc qui ne t'affiche rien sans savoir quoi faire: super un jour de bac !

Bilan pour moi: c'est passablement buggé, et pour s'en servir, il faut avoir un accès internet qui te donne accès à des trucs vachement plus chouettes: aucun intérêt. Je doute fortement que ce soit aujourd'hui pour quiconque la porte d'entrée vers la programmation.

Il me semble qu'aujourd'hui, l'utilisateur lambda ne tape pas d'adresse dans la barre d'adresse, qui d'ailleurs, est parfois cachée: il tape deux trois trucs dans son moteur de recherche.
Et, bon, il y a trente ans, on pouvait déjà appeler par erreur le téléphone rose…

Bilan des courses:

• Avec virtualbox + libhoudini, que ce soit avec android_86 ou genymotion, la plus haute version d'Androïd qui semble marcher est la version 4.3

• Avec virtualbox +android_86 4.3, libhoudini est déjà inclus (*). L'installation de Labox est donc assez facile, j'ai accès aux programmes, au disque dur, mais ça plante quand on cherche à regarder la télé. J'ai peut être loupé un truc, je n'ai fait qu'essayer le livecd.

(*) A partir de android_86 4.4, il n'y a plus qu'un script pour récupérer libhoudini, ce qui n'est pas un problème car on a un accès root d'entrée, ce qui n'est pas le cas sur android_86 4.3

• Le patch d'émulation SEEE3 évoqué plus haut est déjà appliqué dans le repos de android_86. Cependant, la compilation de android_86 est hardue, la doc étant obsolète. Le plus gros problème est que (tout au moins pour la branche jb, qui est celle correspondant à Android 4.3), le makefile du noyau est absent, ce qui m'a obligé à des bidouilles (et au final je n'ai accès qu'à VESA !). Notons de plus que quand on se synchronise à la branche jb, le noyau vient dans sa version actuelle, pas celle de la release 4.3 de android_86).

Bref, je laisse tomber, en espérant que l'équipe de genymotion aura la bonne idée de patcher son noyau avec la modif d'android_86 …
D'ici là, j'aurais peut être changé d'ordinateur, en revanche, ce qui est ennuyeux, c'est que pour l'instant ça ne semble pas clair qu'il y ait de solution pour Android > 4.3. On est donc loin d'une solution pérenne.

Ah non, j'ai dit une bêtise. Le patch est un patch du noyau, donc pas besoin des sources de libhoudini.
Un peu de boulot quand même en perspective…

Pour l'instant, je l'ai faite fonctionner sur plusieurs portables i5, mais l'appli Labox plante au démarrage sur ma tour AMD.

Bizarre…J"ai donc fait ma petite enquête

D'après les logs de la machine virtuelle, le plantage a lieu sur la partie de l'émulation ARM, avec une erreur de la librairie libhoudini:

signal 4 (SIGILL), code 2 (ILL_ILLOPN), fault addr 98e09a84

Après avoir pas mal googlé, il semble que problème est que la librairie libhoudini, écrite par intel, utilise le jeu d'instruction SSSE3, qui n'est pas présent sur la plupart des AMD.

On peut trouver un patch qui permet, semble-t'il, de contourner ce problème, mais la légalité est discutée.
https://groups.google.com/forum/#!topic/android-x86/gfoWKeVUNsA

En tout cas, il faut recompiler libhoudini, mais le source n'a pas l'air trop disponible…

Tant qu'on parle de l'appli La Box TV, ce que je trouve regrettable, c'est que l'accès à la programmation de la box par l'appli à distance plante assez souvent (avec une erreur ER0611). Si j'ai bien compris ce que j'ai lu sur les forums, la seule solution est de rebooter la box, ce qui précisément ne se fait pas trop à distance (bon, je n'ai pas tenté d'activer l'accès à distance à la box, mais pour avoir déjà du faire 2x300 bornes après un reboot malheureux d'un ordi à distance, je ne suis pas sûr de vouloir tenter le diable).

Un truc qui me dirait plus, mais je ne sais pas si c'est possible, c'est d'émuler la télécommande de la box et de piloter une pseudo-télécommande par ssh.
Mais c'est peut être un doux rêve…

Bien volontiers.
D'abord un petit truc tout bête: un lanceur pratique.
Je suis sous gnome. Dans
~/.local/share/applications/labox.desktop
j'ai mis
[Desktop Entry]
Type=Application
Encoding=UTF-8
Name=La box by Numéricable
Comment=Emulateur Androïd pour lancer la box by Numéricable
Exec=/home/moi/genymotion/player --vm-name 'Samsung Galaxy S3 - 4.1.1 - API 16 - 720x1280'
Icon=/home/moi/Images/labox.png
Terminal=false

J'ai récupéré l'image à partir d'une capture d'écran au démarrage de l'appli, puis un petit coup de gimp.

Ensuite, j'ai testé comment se comportait l'appli avec Simple Screen Recorder
http://www.maartenbaert.be/simplescreenrecorder
Eh bien ce n'est pas mal du tout. On sent que le truc est un peu dépassé sur les grosses scènes d'action très rapide, mais dans l'ensemble on a une qualité correcte. J'ai gardé le réglage par défaut du logiciel, qui prend entre 800 et 900 mégas par heure en 1280x700.

Bien sûr ça reste un truc de bricolage (attention à désactiver l'économiseur d'écran, aux mouvements de souris intempestifs…), mais ça peut dépanner, typiquement en vacances.

A noter: SSR peut faire du livestreaming (pas testé).

Bon, j'ai bien joué avec. Ca a l'air assez stable.
En tout cas, ça marche plutôt mieux qu'avec ma tablette Nexus 10.

Remarque importante: il ne faut pas négliger de bien régler le fuseau horaire du système de la machine virtuelle, sinon on a des mauvaises surprises sur la programmation des enregistrements.

Pas réussi à le faire marcher avec bumblebee. En revanche on gagne une bonne dizaine de degrés avec le driver nvidia.

Ne connaissant ni virtualbox, ni genymotion, j'avais un peu peur, mais finalement en suivant tes instructions c'était très simple.

Un seul truc un peu surprenant, c'est que le site de genymotion te dis qu'il va te faire télécharger un truc pour ubuntu, debian, et au final il te donne un exécutable qu'il faut lancer (avec un chmod avant) pour faire l'installation en mode utilisation.

N'étant pas chez moi, je n'ai pas pu me connecter à la box, mais je peux quand même voir les entêtes du contenu du disque dur de ma box, et comme tu le dis, les chaînes cloud.

Seul petit bémol, ça fait pas mal chauffer la bête (on passe de 62 à 84 degrés sur un portable i5). Quand j'aurais le temps, j'essaierai avec bumblebee voir si ça change quelque chose.

que j'ai utilisée il y a peu

http://doc.ubuntu-fr.org/deplacer_root

Sur le réseau numéricable, même le flux TNT gratuit est crypté en DVB-C. Si on veut enregistrer les chaînes de la TNT, il faut vraiment une carte DVB-T, ce flux-là est en clair (service antenne). Ce flux est le minimum légal (il n'y a pas France 3 HD par exemple).

Visiblement, ça fait quatre ans que HDCP est craqué.
http://www.hdnumerique.com/actualite/articles/8160-crack-hdcp-la-cle-globale-qui-circule-sur-internet-est-authentique.html

Après, je ne sais pas si les "ayants-droits" peuvent oser l'avouer, mais je pense que ces protections les desservent finalement plutôt. Il y a un an, je racontais à un pote mes déboires pour enregistrer la télé, et sa réponse a été typique "qu'est-ce que tu vas te faire ch… à enregistrer la télé alors que tu peux le télécharger sur Internet".

D'un point de vue pratique, en enregistrant un flux HDMI, on se retrouve dans une situation analogue à celles des années 80 avec les cassettes audio et video. On peut copier, mais la procédure de copie privée est un peu merdique.
Du point de vue des ayants-droits, je pense que le but réel est accompli, que le vrai but n'est pas d'empêcher la copie mais de la rendre suffisamment coûteuse en finances et en temps
La vraie différence par rapport aux 80's, c'est que le coût en temps de la seconde copie est nul et sans perte de qualité, mais ça ce n'est un manque à gagner pour eux que si tu diffuses illégalement ta copie.

Ce que je ne comprends pas bien, c'est que tous les opérateurs n'aient pas la même politique sur la possibilité de faire sortir les programmes de la boîte. Si Free le permet, pourquoi les autres ne le font pas ?
L'affaire Sony montre bien pourtant que la menace, ce n'est pas monsieur et madame Michu qui enregistrent "Les feux de l'amour" à la télé…

Cherche "splitter hdmi" sur amazon. Les commentaires permettent d'acheter ce qui va bien. J'ai pris le Cablesson (10 jours pour arriver d'Allemagne), mais il y en a d'autres signalés par les acheteurs, au moins le HDElite qui est en Premium.

Petit complément pour être clair: les splitter recopient les entrées HDMI sur deux sorties, et plusieurs marques font sauter au passage la protection HDCP. Ce qui permet par exemple de regarder la télé sur leur Home Cinéma, pour ceux qui ont la chance d'avoir ça.

C'est dommage de devoir passer par toutes ces complications pour jouir pleinement de ce qu'on a acheté, mais bon…

Oui, il n'y a pas de raison que ça ne fonctionne pas avec la blackmagic.

J'ai hésité entre Avermédia et la blackmagic, mais blackmagic t'oblige à avoir le PC a côté de la box.
Par ailleurs, l'avantage de la carte dans un PC, c'est que tu peux faire plein de trucs sympas sur la programmation des enregistrements, or tout ça ça tombe puisque tu dépends du flux de ta box que tu ne peux pas programmer.
Ce n'est pas parce qu'une box enregistre un flux par sa programmation qu'elle le diffuse sur sa sortie HDMI.
Ainsi, quoi que tu fasses, pour faire sortir un flux de ta box, tu dois être devant ta télé.

Bon, c'est des petites contraintes, mais c'est mieux que rien.

Bref, vu le prix de la blackmagic, ça me paraît bien cher payé pour pas plus de commodité, quant à retraiter le flux, c'est pas clair que tu feras avec ton PC beaucoup mieux que ce que fait Avermedia.

J'ai emprunté ce chemin il y a un an: ce n'est clairement pas une bonne idée.

Carte PCI DVB-C => j'ai récupéré quelques chaînes en clair … pendant quelques mois.
L'achat d'un module CI pour mettre la carte numéricable n'y a rien changé.

Moralité: 200€ de claqués pour avoir glorieusement quelques chaînes de radio.

Bien sûr, avec une carte DVB-T, on a les chaînes de la TNT.

J'ai fini par adopter la solution de facilité : splitter + enregistreur Avermedia Game Capture HD II C285.

La qualité de l'image est excellente (j'ai vu jusqu'à 1920x1080 à 30 fps). Je fais les enregistrements via un petit disque dur ssd, logé dans la trappe. La trappe est très accessible, il est très facile d'extraire le disque, on peut ensuite le connecter à un PC via un petit connecteur externe. Le ssd n'est sans doute pas nécessaire pour enregistrer, mais c'est assez appréciable quand on rapatrie les fichiers sur le PC: ils sont assez volumineux (8 Gigas par heure).
Pour éditer les vidéos sur PC, je conseille le logiciel libre Avidemux 2.6.8 (Linux ou Mac ou Windows) (attention, certaines versions plus anciennes posent problème). Il faut enregistrer au format mp4v2. On peut ensuite ripper si nécessaire avec le logiciel libre Handbrake (Linux ou Mac ou Windows).
Bref, ça marche très bien.

Les points noirs
- le disque dur chauffe (pourtant faire chauffer un ssd, il faut le faire)
- absence de timer pour arrêter l'enregistrement
- pas de possibilité de récupérer les fichiers sur le réseau local, malgré le cable ethernet.

Voilà, avec tout ça, je peux enfin profiter de la télé que je paye (pas de prise télé dans ma chambre).

J'installe et j'administre les ordis de la famille proche (9 personnes) avec des Debian, des Ubuntu, des Mint.

Pour moi, Ubuntu et Mint sont à peu près équivalents; le choix Ubuntu vs Mint est dicté par le bureau souhaité. Donc en ce moment, j'installe des Mint Mate et des Ubuntu Gnome.
En cas d'égalité sur le choix de l'interface, un désavantage de Mint est que (dans mon expérience), les dépots supplémentaires sont moins rapides.

Aujourd'hui, je réserve Debian à des machines sur lesquels je suis l'utilisateur principal parce que
- l'installation d'Ubuntu/Mint est plus rapide.
- En cas de googlage pour résoudre un problème, c'est plus facile d'avoir comme référence une configuration relativement déterminée, ce qui n'est pas le cas pour une machine qui a vécu plein d'upgrade en testing/sid. Quand ça ne marche pas, le diable est parfois dans un fichier de configuration dont on ne sait plus trop d'où il vient.

Vu le rythme des releases, je trouve qu'il n'y a pas grand intérêt pour un PC de bureau à être sous Debian stable (*). Mais être sous testing ou sid, ça demande du temps. Ce n'est pas particulièrement compliqué, mais ça demande une hygiène d'entretien (mises à jour) à peu près régulier, on a ce temps ou on ne l'a pas.

(*) sauf pour une tour construite avec des composants récents pour lesquels on va compiler un soi-même un noyau récent, auquel cas je trouve Debian plus pratique qu'Ubuntu

Je ne suis pas trop d'accord. Les utilisateurs avancés ont des problèmes d'utilisateurs avancés s'ils veulent avoir le beurre, l'argent du beurre et les faveurs de la crémière.
C'est sûr que si on installe des applications vitales (genre le serveur de vidéos pour les momes) sur un ordinateur qui a besoin par ailleurs que certains trucs soient bleeding edge, alors un jour, on va avoir un problème.
Si de fait, un ordinateur @home a besoin de la stabilité d'un serveur, il faut avoir la même prudence dans sa gestion.
Si on n'a pas les moyens, la place d'avoir 36 ordis @home, comme déjà dit, les chroot peuvent être une solution.
Par définition, je pense qu'aucun OS ne peut jamais être prêt pour le desktop d'un utilisateur avancé qui a des exigences d'utilisateur avancé en termes de disponibilité des logiciels.

Mais la masse des utilisateurs vit très bien avec une Debian stable ou avec une Ubuntu LTS. D'ailleurs vu les cycles de release actuels de ces deux distros, il me semble que quelqu'un qui alternerait Debian stable et Ubuntu LTS aurait des logiciels vieux d'un an au plus. Pas si mal.

Il faut remplacer la ligne avec mathjax par

dd if=$sortie ibs=$frame count=1 >> $provisoire

Et alors miraculeusement, les fichiers sortis ont une longueur multiple de 188…

Merci encore pour ton aide.

Bon, alors suite à tes remarques, j'ai affiné en délégant à mplayer le soin de détecter le début d'un paquet.
De toutes façons, il est peu vraisemblable que je fasse mieux que mplayer.

#!/bin/sh

entree=$1
taille=$2
fin=$3
sortie=$4
c=$((fin - taille + 1))
d=$((fin +1))
provisoire=`mktemp  /tmp/$entree$taille.XXXXXX`
echo $c
dd if=$entree of=$provisoire  ibs=100000 skip=$taille count=$c 
dd if=$entree of=$sortie ibs=100000 skip=$d count=50
a=`mplayer -v -nosound  -frames 1 -vo null $sortie | grep -e "SEEMS A TS" | cut -d " " -f 5 | sed -e "s/,//" `
echo $a
frame=`echo $a | cut -d " " -f 1`
dd if=`{mathjax} sortie  ibs=`((frame -1)) count=1 >> $provisoire
a=`mplayer -v -nosound  -frames 1 -vo null $provisoire | grep -e "SEEMS A TS" | cut -d " " -f 5 | sed -e "s/,//" `
echo $a
frame=`echo $a | cut -d " " -f 1`
tail -c +$((frame + 1 )) $provisoire > $sortie
rm -f $provisoire

(J'ai encore une ligne avec des $ remplacés par des choses bizarres)

C'est juste une erreur de saisie, un reste d'une balise html. La bonne ligne est
fin=$3

Merci pour ta réponse, mais je ne comprends pas comment faire marcher avconv.

Par exemple, avec

avconv -ss 2 -i qssq.ts -t 30 -c:v copy -c:a copy -c:s copy -map 0 sortie.ts

J'obtiens

avconv version 9.16-6:9.16-0ubuntu0.14.04.1, Copyright (c) 2000-2014 the Libav developers
built on Aug 10 2014 18:16:02 with gcc 4.8 (Ubuntu 4.8.2-19ubuntu1)
[h264 @ 0x18ca4e0] non-existing PPS referenced
[h264 @ 0x18ca4e0] non-existing PPS 0 referenced
[h264 @ 0x18ca4e0] decode_slice_header error
[h264 @ 0x18ca4e0] no frame!
[h264 @ 0x18ca4e0] non-existing PPS referenced
[h264 @ 0x18ca4e0] non-existing PPS 0 referenced
[h264 @ 0x18ca4e0] decode_slice_header error
[h264 @ 0x18ca4e0] no frame!
[h264 @ 0x18ca4e0] non-existing PPS referenced
[h264 @ 0x18ca4e0] non-existing PPS 0 referenced
[h264 @ 0x18ca4e0] decode_slice_header error
[h264 @ 0x18ca4e0] no frame!
[h264 @ 0x18ca4e0] mmco: unref short failure
[mpegts @ 0x18c4fc0] max_analyze_duration reached
[mpegts @ 0x18c4fc0] PES packet size mismatch
Last message repeated 1 times
Input #0, mpegts, from 'qssq.ts':
Duration: 02:27:00.13, start: 9609.323944, bitrate: 6837 kb/s
Program 2817
Stream #0.0[0x78]: Video: h264 (High), yuv420p, 1920x1080 [PAR 1:1 DAR 16:9], 25 fps, 25 tbr, 90k tbn, 50 tbc
Stream #0.10x82: Audio: eac3, 48000 Hz, 5.1, fltp, 256 kb/s
Stream #0.20x83: Audio: eac3, 48000 Hz, stereo, fltp, 128 kb/s
Stream #0.30x84: Audio: eac3, 48000 Hz, stereo, fltp, 128 kb/s
Stream #0.40x8c: Subtitle: dvbsub (hearing impaired)
Stream #0.50x8d: Subtitle: dvbsub
Output #0, mpegts, to 'sortie.ts':
Metadata:
encoder : Lavf54.20.4
Stream #0.0: Video: libx264, yuv420p, 1920x1080 [PAR 1:1 DAR 16:9], q=2-31, 90k tbn, 90k tbc
Stream #0.1(fra): Audio: eac3, 48000 Hz, 5.1, 256 kb/s
Stream #0.2(qaa): Audio: eac3, 48000 Hz, stereo, 128 kb/s
Stream #0.3(qad): Audio: eac3, 48000 Hz, stereo, 128 kb/s
Stream #0.4(fra): Subtitle: dvbsub (hearing impaired)
Stream #0.5(fra): Subtitle: dvbsub
Stream mapping:
Stream #0:0 -> #0:0 (copy)
Stream #0:1 -> #0:1 (copy)
Stream #0:2 -> #0:2 (copy)
Stream #0:3 -> #0:3 (copy)
Stream #0:4 -> #0:4 (copy)
Stream #0:5 -> #0:5 (copy)
Press ctrl-c to stop encoding
frame= 719 fps= 0 q=-1.0 Lsize= 21187kB time=26.49 bitrate=6551.3kbits/s

video:17401kB audio:1870kB global headers:0kB muxing overhead 9.942334%

Mais le résultat est incorrect: totem et vlc lisent la vidéo, mplayer le son …et personne les sous-titres.