Max bitdivine

On Mac OS (host):

Shutdown your VM and do:

VirtualBox > Settings > Network > Add (you will get vboxnet0)

On a terminal ifconfig will show you new interface vboxnet0

VM's Settings > System > check "Enable I/O APIC." VM's Settings > Network > Adapter 2 > host-only vboxnet0


	# The credentials file looks like this:
	# [profile-name]
	# VAR_1=something
	# VAR_2=else
	#
	# [another-profile]
	# ...

	source <(sed -n "/^\[${profile}\]/,/^\[/{/^[^[]/p}" ~/.aws/credentials)

	(function(){
	// This is a WYSIWYG editing div that can be used as in input in a form.
	// Usage: <div contenteditable is="with-input" name="..."></div>
	// This can be used in a form and values will be submitted as with a text input.
	// You can also get the input with:
	// Array.from(document.querySelectorAll('input')).reduce((d,e) => {d[e.name]=e.value;return d;}, {});
	// The div is a visual component. An invisible input is appended to
	// hold the form data. Any changes made to the div will change the
	// value of the input element.
	const global = window;

	function get_input_dict(selector){return Array.from(document.querySelectorAll(selector \|\| 'input')).reduce((d,n)=>{d[n.name]=n.value;return d;},{});}
	function get_input_hash(selector){return Array.from(document.querySelectorAll(selector \|\| 'input')).map((n)=>encodeURIComponent(n.name)+'='+encodeURIComponent(n.value)).join('&');}
	function save_input_hash(selector){window.location.hash = get_input_hash(selector);}
	function restore_input_hash(selector){window.location.hash.slice(1).split('&').map((s)=>s.match(/^([^=])=(.)/)).filter((s)=>s).forEach((m)=>Array.from(document.querySelectorAll(`${selector\|\|"input"}[name=${decodeURIComponent(m[1])}]`)).forEach((n) => n.value=decodeURIComponent(m[2])));}

	#!/usr/bin/env bash

	set -eu

	help() {
	cat <<EOF
	Copy the contents of a table or view into a local database.
	The copy is always a table, so view dependencies don't have to be downloaded.
	SELECT is optionally granted to a named user.
	dump --ssh USER@HOST:PORT --from USER@DATABASE:PORT/table --to USER@DATABASE:PORT --grant USER

	wget -q -O - https://dl-ssl.google.com/linux/linux_signing_key.pub \| sudo apt-key add -
	sudo sh -c 'echo "deb [arch=amd64] http://dl.google.com/linux/chrome/deb/ stable main" >> /etc/apt/sources.list.d/google-chrome.list'
	sudo apt-get update && sudo apt-get install -yy google-chrome-stable

	function text2html(html,wrappertag){var wrapper= document.createElement(wrappertag\|\|'div');wrapper.innerHTML= html;return wrapper;}
	function getscript(url){var script = document.createElement('script');script.type = 'text/javascript';script.src = url;document.head.appendChild(script);}