Carnet professionnel d'un informaticien
Le 11 février dernier était la journée d’action contre la surveillance de masse https://thedaywefightback.org/. Malheureusement cela n’a suscité que peu d’intérêt et peu de relais dans les média mais justement à propos des relais: où en est Tor ? La suite sur mon blog caché: http://awsyja6cjl2qmy7m.onion/blog/?p=1221 Si vous ne pouvez pas utiliser Tor ou que […]
Atlassian propose une SDK appelé Atlassian Maven Plugin Suite composé comme son nom l’indique d’une série de plugin maven. Après avoir trouvé l’origine de mon problème de plugin qui ne se chargeait pas dont la cause était la différence de JDK: il faut utiliser la version 1.6, je poursuis mon étude de JIRA à l’aide […]
Pour accéder à l’article il faut utiliser TOR et vous connecter à l’url http://awsyja6cjl2qmy7m.onion/blog/?p=1195 Si vous êtes dans l’impossiblité d’utliser TOR et que vous acceptez de perdre votre anonymat vous pouvez utiliser le lien suivant. http://awsyja6cjl2qmy7m.tor2web.org/blog/?p=1195
Hier mon bureau Ubuntu (Unity) semblait être malade. La barre latérale ainsi que la barre de menu en haut du bureau avaient tout simplement disparues. Impossible de lancer les applications ou de quitter la session (ou presque car CTRL-ALT-SUPRon peut quitter la session). heureusement que sous Linux les terminaux virtuelles permettent de passer d’une session […]
Initialement prévu par ses concepteurs comme plateforme d’apprentissage à la programmation, le Raspberry Pi peut également servir de HTPC grâce à ses capacités de décodage vidéo. Pour son prix de 35€ il est sans doute une des solutions les moins chères. L’OS préconisé, une Debian, n’est malheureusement pas vraiment dédié au multimédia. L’activation du son, […]
Si le Raspberry Pi ne possède pas de batterie pour concerver la date et l’heure du système quand il est hors-tension, il n’est toutefois pas nécessaire de le mettre à l’heure manuellement à chaque démarrage comme le laissait entendre les informations lues sur le site Raspberry. En fait si le Raspberry est relié au réseau, […]
L’image Debian de l’OS du Raspberry Pi est en clavier anglais, nous l’avons donc passé en clavier frnçais dans le billet Premier démarrage du Raspberry Pi. On constate alors que lors du démarrage, le système reste longtemps bloqué sur le paramétrage du clavier. Il y a une solution qui consiste une fois logué en mode […]
Dans mon billet Activer le son du Raspberry Pi je donnais la solution pour activer le son du Raspberry Pi mais cette méthode n’était pas persistente et au nouveau démarrage le son disparaissait. Pour le rendre persistent il faut que le module soit chargé au démarrage du système. Pour cela il faut aller dans le […]
L’écriture de l’image disque de l’OS sur une carte SD n’est pas la méthode parfaite pour l’installation d’un OS. En effet il s’agit en fait d’une restauration de disque. Aussi utiliser une carte de 8Go fait perdre 5 Go de place. L’image représente un dique de quelques 3 Go seulement. Une fois arrivé sur le […]
Mon Raspberry était plongé dans un mutisme profond: aucun son ne sortait de la télé. Après avoir vérifié que l’entrée HDMI utilisée sur la télé était bien une vraie entrée HDMI et pas seulement un HDMI/DVI que je soupçonne être simplement prévue pour les sources DVI avec un adaptateur HDMI donc sans son, je me […]