Liste des liens
Et Jésus dit à ses apôtres, "Mangez le pain, et macache pour les autres"
get google fonts onto your server with just one <link>
instead of
<link href="<a href="https://fonts.googleapis.com/css?family=Nunito+Sans|Roboto"">https://fonts.googleapis.com/css?family=Nunito+Sans|Roboto"</a>; rel="stylesheet">use
<link href="goofi.php?family=Nunito+Sans|Roboto" rel="stylesheet">and the script will get the fonts & css and then save it onto your server. After that, no more queries will be send to google's servers anymore ;-)
Une conférence sur PeerTube par Framasky.
Il y a le RGPD qui va passer par là !
Les administrations aussi vont devoir s'y plier. Et les amendes peuvent être lourdes...
Il ne faudra pas hésiter à en faire usage.
En cas de problème au démarrage, taper :
fsck -fy /dev/...Puis exit s'il n'y a plus d'erreur.
Ensuite, une fois redémarré, faire un update et clean
Pour apprendre à créer des modules pour Firefox
Une todo list basique
Tutoriel sur les grille par Mozilla
Tutoriel sur le débogueur Javascript de Firefox
Voilà ce qui arrive quand on confie un service public à un privé...
Voici une commande utile :
wget -r -k -E -np <a href="http://tar.get/wanted/directory/">http://tar.get/wanted/directory/</a>Donc la cible est http://tar.get/wanted/directory/. Les options :
-r pour parcourir tous les liens du sites.
-k conversion des liens en liens locaux.
-E conversion php vers HTML, pour relire aisément avec Firefox.
-np pour ne pas remonter dans l’arborescence du siteD’autre options utiles :
-lX, où X est un entier, pour ne parcourir que X niveaux de l’arborescence du site.
-c pour continuer un téléchargement interrompu.
–load-cookies si nécessaire.Les options pour ne pas pourir le serveur :
–limit-rate X, pour limiter la Bande Passante à X B/s
-w X pour attendre X secondes entre chaque téléchargement de fichiers.
-T X au bout de X secondes wget abandonne le téléchargement d’un fichier.Pour les fichiers json, avant toute chose, pensez à convertir les caractères accentués (é en \u00e9e par exemple).
Si vous ne savez pas la correspondance, json_encode en php peut vous aider :
$a = array('é','è','à');
foreach($a as $k => $v) {
var_dump(str_replace('"','',json_encode($v)) );
}Quand vous avez un gros fichier (plus de 20 000 entrées) à lire en ajax (avec dataTable.js par exemple), si le fichier est présenté de la façon suivante, le navigateur a une chance sur 2 de planter en cours de lecture :
{
"data":
[
[
"donn\u00e9ee 1",
"donn\u00e9ee 2",
"donn\u00e9ee 3",
"donn\u00e9ee 4",
"donn\u00e9ee 5"
],
[
"donn\u00e9ee 1.1",
"donn\u00e9ee 2.2",
"donn\u00e9ee 3.3",
"donn\u00e9ee 4.4",
"donn\u00e9ee 5.5"
],
(...),
[
"donn\u00e9ee n1",
"donn\u00e9ee n2",
"donn\u00e9ee n3",
"donn\u00e9ee n4",
"donn\u00e9ee n5"
]
]
}Il vaut mieux les présenter sur une ligne par entrée. Là, ça passe car il y a moins de lignes à lire :
{
"data": [
[ "donn\u00e9ee 1", "donn\u00e9ee 2", "donn\u00e9ee 3", "donn\u00e9ee 4", "donn\u00e9ee 5"],
[ "donn\u00e9ee 1.1", "donn\u00e9ee 2.2", "donn\u00e9ee 3.3", "donn\u00e9ee 4.4", "donn\u00e9ee 5.5"],
(...),
[ "donn\u00e9ee n1", "donn\u00e9ee n2", "donn\u00e9ee n3", "donn\u00e9ee n4", "donn\u00e9ee n5"]
]
}C'est tout con, mais j'ai passé ma matinée à trouver comment faire :-p