Korben, roi d’internet, logo bébé avec des lunettes en mode thug life Korben, roi d’internet, logo bébé avec des lunettes en mode thug life

Korben Upgrade your mind

Jr – Le script qui fait le rendu de vos pages sur le navigateur de vos visiteurs

Amateurs de sites minimalistes, pourquoi vous lancer dans une installation classique à base de WordPress, MySQL, PHP…etc. alors que tout ce qu’il vous suffit c’est d’un peu de texte écrit en Markdown, d’une feuille de style et de Jr ?

Jr, rien à voir avec Dallas, est un bout de code JavaScript qui permet de générer un rendu des pages de votre site directement sur le navigateur de l’internaute. Plus besoin de module PHP couplé à Apache ou Nginx pour faire ce travail, vous pouvez tout simplement poser votre site en dur voir même proposer à vos utilisateurs le téléchargement d’une archive qui sera lisible en local chez eux. Il s’agit d’un moteur de rendu statique qui est lui aussi statique 😉

Pour que cela fonctionne, il faut bien évidemment que votre contenu soit totalement textuel (+ images + mise en forme). Pas de PHP possible donc. La syntaxe Markdown permet d’écrire et de mettre en forme rapidement vos pages et à la fin de celles-ci, il suffit tout simplement de rajouter un appel vers le script jr :

<script src= »jr.js »></script>

Ensuite, uploadez ce fichier et le tour sera joué. Pour voir une démo et mieux comprendre le principe, rendez-vous sur cette page et regardez le code source.

Excellent pour se monter un petit site statique sur un serveur qui délivre des fichiers statiques (genre Nginx) sans avoir à se soucier de tout ce qui est dynamique.

Le code est dispo ici.


Installer le shell Bash (Linux) sous Windows 10

L’année dernière, ça ne vous a pas échappé, Bash a fait son apparition sous Windows 10. C’est pour moi, la meilleure chose qui soit arrivée à Windows depuis un moment, car ça permet de lancer des outils Linux et de développer ses propres scripts Shell directement sous Windows. Le pied !

Mais même si c’est parfaitement fonctionnel, il faut quand même…

Lire la suite


Plus de 60 idées pour votre Raspberry Pi

Nous sommes nombreux à nous être procuré un petit ordinateur Raspberry Pi pour nous lancer dans des projets de ouf malade… C’est très cool, mais à part le classique Media Center XBMC, qu’avez-vous fait avec votre Raspberry Pi ?

Si vous séchez niveau idées, voici une petite sélection…

Lire la suite


Une astuce pour rendre Windows 10 plus rapide

Si vous trouvez que Windows 10 est un peu lent, que vos applications ne se lancent pas très vite, que vos compilations prennent du temps, voici une petite astuce débusquée par Brominou pour accélérer le bouzin.

Cliquez dans la zone de recherche de la barre Windows et tapez le mot clé « Performances ». Puis cliquez sur « Régler l’apparence et les performances de Windows » …

Lire la suite


Changer d’adresse IP rapidement

Une petite astuce pour ceux qui ne connaissent pas. Comment changer d’adresse IP à la volée.
Il suffit d’en demander une nouvelle à son provider si celui-ci accepte les IP dynamiques. Pour vérifier que vos manipulation ont eu l’effet escompté, vérifiez quelle est votre adresse IP….

Lire la suite