33 private links
Premier article consacré à la programmation avec le Framework .NET.
Ici, il s'agit de convertir un timestamp POSIX en date et d'extraire la date d'installation de Windows par ce biais.
Pendant mon stage, j'ai accumulé pas mal de petits snippets et astuces avec cette plate-forme, alors je partagerai au fur et à mesure ;)
Je garde sous le coude : trouver toutes les mémoires internes et externes sous Android.
En PHP, il y a plusieurs moyens pour lire et écrire dans un fichier (fopen). De même pour en compresser son contenu (gzcompress).
Seulement, vous pouvez vous simplifier la vie en utilisant UNE seule instruction pour stocker du contenu sous forme compressée :
file_put_contents("compress.zlib://$filename", $content);
Ensuite, pour lire ce fichier compressé, UNE instruction également :
$content = file_get_contents("compress.zlib://$filename");
"compress.zlib://" est en fait ce qu'on appelle un wrapper ; il en existe plusieurs autres en PHP. Celui-ci permet de dire que le fichier sera compressé grâce à la bibliothèque Zlib.
ATTENTION : avec file_get_contents(), si la lecture échoue, il renvoie le booléen "false" ! Or, il est indispensable de bien tester le retour à l'aide de l'égalité de type (=== ou !==), car si le fichier contient, par exemple, 0 et que vous testez avec l'égalité simple (== ou !=), alors il considérera que c'est faux, donc que la lecture a échoué ! C'est normal : 0 == false (même valeur) mais 0 !== false (pas le même type) !
Donc il faut tester comme suit : if ($content !== false) { //OK, do something... }
21 snippets PHP bien pratiques.
Comme vous pouvez le constater sur mon blog, j'ai mis en place un widget indiquant les 5 derniers liens en vrac que j'ai posté sur Shaarli. Ceci grâce à un petit snippet sous Wordpress.
Comment faire ? C'est simple.
Dans le fichier "functions.php" du dossier du thème, ajoutez n'importe où le code suivant :
include_once(ABSPATH.WPINC.'/rss.php');
function kvu_displayShaarli($atts) {
extract(shortcode_atts(array(
"link" => 'http://',
"num" => '1',
), $atts));
if ($link[strlen($link)-1] == '/') {
$link = $link.'?do=rss&permalinks';
} else {
$link = $link.'/?do=rss&permalinks';
}
return wp_rss($link, $num);
}
add_shortcode('shaarli', 'kvu_displayShaarli');
Vous n'avez plus qu'à mettre en place un widget "texte" et y placer le shortcode [shaarli link="" num=""] où "link" est l'adresse du Shaarli (pas le flux RSS/ATOM) et "num" le nombre d'entrées à afficher. C'est tout. Par exemple : [shaarli link="http://links.kevinvuilleumier.net/" num="5"].
EDIT : Attention : la fonction wp_rss() utilise un cache qui a pour conséquence un affichage du flux RSS qui n'est pas en temps réel ! De plus, c'est une fonction dépréciée, mais qui fonctionne très bien sous Wordpress 3.5.1 (dernière version actuelle).
EDIT 2 : Correction d'une erreur dans le script.
Des snippets PHP très utiles et peu connus. Ce site regorge de nombreux articles du même acabit !
Quelques snippets utiles pour le développement sur Android.