Si vous avez suivi l’actualité technologique ces derniers jours, vous savez que Free a lancé Free Mobile hier dans la matinée. Les serveurs ont rapidement été surchargés et j’ai moi-même eu du mal à joindre la page d’abonnement mais cela devrait se réguler assez rapidement. Voici donc ce que nous a concocté Free pour son [...]
Aujourd’hui, je vous livre la solution à un problème auquel vous avez peut-être été confronté lors de la configuration de votre serveur dédié – il s’agit d’une erreur que l’on peut trouver dans les fichiers logs d’Apache : Dec 12 16:19:26 mail suhosin[22860]: ALERT - script tried to increase memory_limit to 268435456 bytes which is above [...]
Il est possible d’ajouter des scripts JavaScript utilisateur (ou userscripts) sous Opera pour ajouter des fonctions supplémentaires au navigateur. Cependant, ce code ne peut être lancé directement, il y a quelques réglages à effectuer. Voici comment configurer Opera pour y lancer nos scripts JavaScript en quelques étapes. Réglages du dossier des scripts JavaScript sous Opéra [...]
Il y a quelques mois, je vous avais dit que j’étais en charge du site du collège Pablo Picasso, où j’ai passé quelques années, mais je ne vous avais jamais dévoilé le design – le voici donc : J’ai laissé la main à une collègue depuis que je suis parti – d’ailleurs on peut voir qu’il [...]
De temps en temps, il arrive qu’en faisant un apt-get update, on obtienne quelques erreurs de clés GPG, soit parce qu’elles ont changé, soit parce qu’elle n’ont pas été ajoutées en même temps que les dépôts auxquels elles sont associées. Voici une petite compilation des situations que j’ai connu jusqu’à présent. La clé publique n’est [...]