Skip to content

Instantly share code, notes, and snippets.

#!/usr/bin/env bash
echo dump | socat stdio tcp6:[::1]:33123 | awk '
BEGIN {
i = 0
ORS = ""
}
{
if ($2 == "route" && $9 == "yes") {
if (i == 0) {
print "if "
Other 2 hrs 28 mins ████████░░░░░░░░░░░░░ 38.3%
JavaScript 1 hr 37 mins █████▎░░░░░░░░░░░░░░░ 25.1%
Rust 42 mins ██▎░░░░░░░░░░░░░░░░░░ 10.9%
Koka 40 mins ██▏░░░░░░░░░░░░░░░░░░ 10.5%
Agda 33 mins █▊░░░░░░░░░░░░░░░░░░░ 8.7%