Roman Zipp romanzipp

AOC light theme

This is a light theme for advent of code. style.css contains the style. bookmarklet.html can be visited with rawgit (that's the direct link to bookmarklet.html) to find a bookmarklet that can be dragged to your bookmarks bar and then pressed to make the AOC webpage light.

ASCI art characters for creating diagrams

Characters:

Single line

ASCII code 191 = ┐ ( Box drawing character single line upper right corner )
ASCII code 192 = └ ( Box drawing character single line lower left corner )
ASCII code 193 = ┴ ( Box drawing character single line horizontal and up )
ASCII code 194 = ┬ ( Box drawing character single line horizontal down )

Programming Media Keys on the Ducky One 2 Skyline

To use media keys on the Ducky One 2 Skyline, you must record a macro to bind the media function to a hotkey combination, i.e. Fn plus some key.

Example

Important: In the instructions below, "Press X+Y+Z" means press and hold key X, press and hold key Y, press and hold key Z in that order, and then release all three.

As an example, to bind Fn+PgUp to the play/pause media function:

Steps to install nodejs v6.2 on Raspberry Pi B+ (armv6)

cd ~
wget http://nodejs.org/dist/v6.2.1/node-v6.2.1-linux-armv6l.tar.gz
tar -xzf node-v6.2.1-linux-armv6l.tar.gz
node-v6.2.1-linux-armv6l/bin/node -v

The last command should print v6.2.1.

Now you can copy it to /usr/local

In your local clone of your forked repository, you can add the original GitHub repository as a "remote". ("Remotes" are like nicknames for the URLs of repositories - origin is one, for example.) Then you can fetch all the branches from that upstream repository, and rebase your work to continue working on the upstream version. In terms of commands that might look like:

Add the remote, call it "upstream":

git remote add upstream https://github.com/whoever/whatever.git

Fetch all the branches of that remote into remote-tracking branches, such as upstream/master:

git fetch upstream

Step 1 - Make a Discord Webhook

Find the Discord channel in which you would like to send commits and other updates
In the settings for that channel, find the Webhooks option and create a new webhook. Note: Do NOT give this URL out to the public. Anyone or service can post messages to this channel, without even needing to be in the server. Keep it safe!

Step 2 - Set up the webhook on Github

Navigate to your repository on Github, and open the Settings

Setup SSH Authentication for Git Bash on Windows

Prepararation

Create a folder at the root of your user home folder (Example: C:/Users/uname/) called .ssh.
Create the following files if they do not already exist (paths begin from the root of your user home folder):

.ssh/config

	// Variables used by Scriptable.
	// These must be at the very top of the file. Do not edit.
	// icon-color: deep-gray; icon-glyph: magic;
	// Licence: GNU GENERAL PUBLIC LICENSE, Version 3, 29 June 2007
	// Author: Marcus Raitner (https://fuehrung-erfahren.de)
	// Source: https://github.com/marcusraitner/COVID-19-Dashboard
	// ## Changelog
	// * 1.0.1: Correction of layout of label for covid-beds
	// * 1.0.2: Bug-Fix for Saar-Pfalz-Kreis (using GEN instead of county for join)
	// * 1.0.3: Bug-Fix for Landsberg a. Lech (now using both GEN and county)

	// Licence: Robert Koch-Institut (RKI), dl-de/by-2-0

	class IncidenceWidget {

	constructor() {
	this.previousDaysToShow = 31;
	this.apiUrlDistricts = (location) => `https://services7.arcgis.com/mOBPykOjAyBO2ZKk/arcgis/rest/services/RKI_Landkreisdaten/FeatureServer/0/query?where=1%3D1&outFields=RS,GEN,cases7_bl_per_100k,cases7_per_100k,BL&geometry=${location.longitude.toFixed(3)}%2C${location.latitude.toFixed(3)}&geometryType=esriGeometryPoint&inSR=4326&spatialRel=esriSpatialRelWithin&returnGeometry=false&outSR=4326&f=json`
	this.apiUrlDistrictsHistory = (districtId) => `https://services7.arcgis.com/mOBPykOjAyBO2ZKk/ArcGIS/rest/services/Covid19_hubv/FeatureServer/0/query?where=IdLandkreis%20%3D%20%27${districtId}%27%20AND%20Meldedatum%20%3E%3D%20TIMESTAMP%20%27${this.getDateString(-this.previousDaysToShow)}%2000%3A00%3A00%27%20AND%20Meldedatum%20%3C%3D%20TIMESTAMP%20%27${this.getDateString(1)}%2000%3A00%3A00%27&outFields=Landkreis,Meldedatum,AnzahlFall&outSR=4326&f=json`
	this.stateToAbbr = {

	opendb () {
	[ ! -f .env ] && { echo "No .env file found."; exit 1; }

	DB_CONNECTION=$(grep DB_CONNECTION .env \| grep -v -e '^\s*#' \| cut -d '=' -f 2-)
	DB_HOST=$(grep DB_HOST .env \| grep -v -e '^\s*#' \| cut -d '=' -f 2-)
	DB_PORT=$(grep DB_PORT .env \| grep -v -e '^\s*#' \| cut -d '=' -f 2-)
	DB_DATABASE=$(grep DB_DATABASE .env \| grep -v -e '^\s*#' \| cut -d '=' -f 2-)
	DB_USERNAME=$(grep DB_USERNAME .env \| grep -v -e '^\s*#' \| cut -d '=' -f 2-)
	DB_PASSWORD=$(grep DB_PASSWORD .env \| grep -v -e '^\s*#' \| cut -d '=' -f 2-)