oskar456

#!/usr/bin/env python3

import subprocess
import json
import os
from pathlib import Path

import requests
from requests.compat import urljoin

junkdog

#!/usr/bin/env bash

#     --slave /usr/bin/$1 $1 /usr/bin/$1-\${version} \\

function register_clang_version {
    local version=$1
    local priority=$2

    update-alternatives \
        --install /usr/bin/llvm-config       llvm-config      /usr/bin/llvm-config-${version} ${priority} \

mroderick

How to add an image to a gist

1. Create a gist if you haven't already.
2. Clone your gist:

   # make sure to replace `<hash>` with your gist's hash
   git clone https://gist.github.com/<hash>.git # with https
   git clone git@gist.github.com:<hash>.git     # or with ssh

ochafik

Délit de terrorisme vestimentaire passif: à qui profite la persécution religieuse?

Toute ressemblance avec l'affaire du racolage passif serait purement fortuite.

Ne nous voilons pas la face: en matière de politique publique, ce n'est pas l'intention qui compte, ce sont les résultats.

Eh bien quid justement des intentions en jeu dans l'affaire du burkini, et des résultats probables?

Je vois grosso modo 3 profils majeurs pour nos bien-intentionnés amis anti-burkini:

ochafik

// Run with dart:
// dart async_example.dart
import 'dart:async';
f(g) async {
    try {
      final value = await g();
      return 'Result: ' + (value + 1);
    } catch (e) {
      if (e == 'rethrow me') throw e;
      return 'Caught: ' + e;

cvogt

scala> :paste
  class :=[T,Q]
  trait Default_:={
    /** Ignore default */
    implicit def useProvided[Provided,Default] = new :=[Provided,Default]
  }
  object := extends Default_:={
    /** Infer type argument to default */
    implicit def useDefault[Default] = new :=[Default,Default]
  }

damondouglas

Angular Dart Check List

The following shows what to watch out for when making Angular Dart applications. For more information about Angular Dart, see angulardart.org.

Table Of Contents

• Overall
  • HTML
  • Dart
• Controller

composite

function JSON_stringify(s, emit_unicode)
{
   var json = JSON.stringify(s);
   return emit_unicode ? json : json.replace(/[\u007f-\uffff]/g,
      function(c) { 
        return '\\u'+('0000'+c.charCodeAt(0).toString(16)).slice(-4);
      }
   );
}