This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Spaces information was found on http://jkorpela.fi/chars/spaces.html | |
// and https://en.wikipedia.org/wiki/Tab_key#Unicode | |
{ | |
// Display booleans or ✅ ❌ emojis | |
const useEmojiForBooleans = true; | |
// Spaces are to be tested against the following regular expressions | |
const testRegexps = [ | |
/\s/, // White-space charcater class |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
utfSpaces = [ | |
{ | |
name: 'Space', | |
utf: '\u0020', | |
html: [' ', ' '], | |
breaking: true, | |
width: 'Typically 1/4 em', | |
unicode_category: 'Separator, Space', | |
matched_by_s_character_class: true | |
}, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* | |
This is more a simple and naive proof of concept than anything | |
it's based on [this answer](https://stackoverflow.com/a/41077092/1358317) | |
on stackoverflow. | |
*/ | |
(function() { | |
// Create the audio context | |
var audioCtx = new(window.AudioContext || window.webkitAudioContext)(); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* Basic transliteration helper */ | |
function transliterate(str) { | |
return str.replace(/[ÀÁÂÃÄÅ]/g, 'A') | |
.replace(/[Æ]/g, 'AE') | |
.replace(/[Ç]/g, 'C') | |
.replace(/[ÈÉÊË]/g, 'E') | |
.replace(/[ÌÍÎÏ]/g, 'I') | |
.replace(/[Ñ]/g, 'N') | |
.replace(/[ÒÓÔÕÖ]/g, 'O') | |
.replace(/[Œ]/g, 'OE') |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Extract JSON table of content from any given french Legal code | |
// ============================================================== | |
// author: @daformat <mat.jouhet[at][google's mail service].com> | |
// lastmod: 2017/01/10 | |
// | |
// Usage: | |
// ------ | |
// Execute in javascript console while browsing the toc you're interested in | |
// see comments if you need to tweak anything. | |
// |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/zsh | |
echo "Url to extract values from:"; | |
read TMPCURLURL; | |
RESULT=`curl -L $TMPCURLURL`; | |
# Extract urls within double quotes | |
echo $RESULT | grep -oE "\"http://.*\"" | cut -d " " -f1 | cut -d '"' -f2; | |
# Extract urls within single quotes | |
echo $RESULT | grep -oE "'http://.*'" | cut -d " " -f1 | cut -d "'" -f2 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(function(){ | |
var $t = $('.thumbcaption'), | |
$i =$('.image img'), | |
r="", md, i; | |
for(i=0; i < $t.length; i++){ | |
r+=("![" + $($t[i]).text().replace(/(\r\n|\n|\r)/gm,"")+"]("+$($i[i]).attr('src').replace(/(\/thumb\/)/gm, "/").replace(/\.(png|svg|jpg|jpeg|bmp|gif)\/.*$/gm, ".$1")+")\n" ) | |
} | |
md = r+'\nImages from ["'+$('#firstHeading').text()+'" on wikipedia]'+'('+document.location.href+')\n'; |
NewerOlder