timm0e

graph ERD{
    //Entities
    node [shape=box;fillcolor=orange;style=filled]
        Bundesland
        Wahlkreis
        Wahlbezirk
        Direktkandidat
        Partei
        Wahlergebnis [peripheries=2]
        Stimme

timm0e

{
    "html": {
        "void_elements": [
            "area",
            "base",
            "br",
            "col",
            "embed",
            "hr",
            "img",

timm0e

#!/bin/bash

# Usage: ./gdrive_curl.sh <your link to file over 40 MB> | xargs curl -youradditionalcurlarguments

(echo "Generating curl arguments..." >&2)
regex='jfk-button-action" href="([^"]*)">'
if [[ $(curl -s -c /tmp/cookies.txt $1) =~ $regex ]]; then echo -L -b /tmp/cookies.txt \'https://drive.google.com${BASH_REMATCH[1]//amp;/}\';fi
(echo "Done!" >&2)

timm0e

#!/bin/bash
#
# This is a positional arguments-only example of Argbash potential
#
# ARG_HELP([The general script's help msg])
# ARG_POSITIONAL_SINGLE([changed], [The directory with changed contents])
# ARG_POSITIONAL_SINGLE([unchanged], [The directory with unchanged contents])
# ARGBASH_GO

# [ <-- needed because of Argbash

timm0e

# you need jq installed
set GITHUB_USER <YOUR USER NAME>
complete -c git -n "string match -r '^git clone.*' (commandline) > /dev/null ; echo $status" -a '(curl -Ls https://api.github.com/users/$GITHUB_USER/repos|jq ".[]|.clone_url" -c|string replace -a "\"" "")'