Luiz Aoqui lgfa29

How to use it

Create a GitHub Personal Access Token with the read:org permission.
Copy the contents of bookmarklet.js and replace the placeholders with your specific values.
Add a new bookmark to your browser using that as the URL.

	#!/usr/bin/env bash

	function nomad_curl {
	cmd=(curl --silent -H "X-Nomad-Token: $NOMAD_TOKEN")
	if [[ -n "$NOMAD_CACERT" ]]; then
	cmd+=(--cacert "$NOMAD_CACERT" --key "$NOMAD_CLIENT_KEY" --cert "$NOMAD_CLIENT_CERT")
	fi
	"${cmd[@]}" "$@"
	}

	provider "google" {
	project = "..."
	region = "us-central1"
	zone = "us-central1-a"
	}

	locals {
	my_list_from_map = [for k, v in var.my_map : "${k}.${v}"]
	}

	#!/usr/bin/env python

	import shutil

	from mininet.cli import CLI
	from mininet.net import Mininet
	from mininet.topo import SingleSwitchTopo
	from mininet.util import pmonitor

	servers_count = 3

	(function(dragClass, dropZoneId) {
	//
	// Classes
	//
	// Point is a representation of (X, Y) coordinates
	function Point(x, y) {
	this.x = x;
	this.y = y;
	}