turesheim

#!/bin/bash

# This Bash script will set up an Ubuntu installation so that it will be able
# to build SIMA.

t=$(tempfile) || exit
trap "rm -f -- '$t'" EXIT

# We need this for dialogs
#command -v dialog >/dev/null 2>&1 || { sudo apt-get install dialog }

turesheim

Keybase proof

I hereby claim:

• I am turesheim on github.
• I am tur (https://keybase.io/tur) on keybase.
• I have a public key whose fingerprint is F8D8 A122 8186 3176 DCAA C1DA F243 E32D AAB6 F214

To claim this, I am signing this object:

turesheim

body {
  -webkit-text-size-adjust: 100%;
  -ms-text-size-adjust: 100%;
  text-size-adjust: 100%;
  color: #333;
  font-family: "Helvetica Neue", Helvetica, "Segoe UI", Arial, freesans, sans-serif;
  font-size: 0.8em;
  line-height: 1.6;
  word-wrap: break-word;
}

turesheim

#!/usr/local/bin/zsh

# Add aliases for changing java runtime
alias j6='ju 1.6'
alias j7='ju 1.7'
alias j8='ju 1.8'
alias j9='ju 9'

# Prints the path to JAVA_HOME
alias jh=/usr/libexec/java_home

turesheim

# =============================================================================
# This Envoy configuration allows gRPC and HTTP/2 connections to be sent to the
# same port. The URL to the gRPC service must be prefixed with "/grpc", for
# instance "http://192.168.1.10/grpc" and will be directed to port 8082. The
# normal HTTP/2 calls will be directed to port 8084.
# =============================================================================

admin:
  access_log_path: /tmp/admin_access.log
  address:

turesheim

function FindProxyForURL(url, host) {
	var ProxyConfig = "DIRECT";
	if( dnsDomainIs(host, ".cp.ads.domstol.no")) {
		ProxyConfig = "SOCKS localhost:1283";
	}
	return ProxyConfig;
}