robsite

netbeep

Meine kleine nervige Browserextension, die bei jedem Netzwerk-Request einen Ton abspielt. Same-Origin Requests klingen nett, Cross-Origin, Tracker und Malware zunehmend harsch. Da weiß man Adblocker umso mehr zu schätzen.

Gut, um die Performance einer Website direkt zu hören. Oder einfach als piepsender Hintergrundsound á la Film-Computer.

Womöglich auch zum Musik machen.

Für Chrome
Für Firefox
Auf GitHub

· webdev, sound, meins ·

How I made a 3D Level in a 3D Game

bruh.wav

· übertreiber, video, gamedev ·

Inspector Ike Chili Rezept

Das neueste Inspector Ike Rezept für ein köstliches Chili-Date.

Zutaten:

  • 500g gehacktes Rindfleisch
  • 3 EL Olivenöl
  • 2 gelbe Zwiebeln, klein geschnitten
  • 4 Knoblauchzehen, fein gehackt
  • 4 Jalapeños, gewürfelt
  • 1 Mais-Tortilla, zerkleinert
  • 1 EL Kreuzkümmel
  • 2 EL Ancho-Chilipulver
  • 1 EL Salz, nach Geschmack
  • Frisch gemahlener Pfeffer, nach Geschmack
  • Eine Flasche Bier
  • 2 Dosen geschälte Tomaten (800ml)
  • 4 getrocknete New Mexico Guajillo- oder Pasilla-Chilischoten
  • 30g dunkle Schokolade
  • 2 Dosen Bohnen, z.B. Kidneybohnen (800g)

Zubereitung:

  1. Das Öl erhitzen, Fleisch dazugeben und anbraten. Das gekochte Fleisch beiseite stellen
  2. Zwiebeln, Knoblauch, Jalapeños, die zerkleinerte Tortilla und die Gewürze in den Topf mit dem Bratensaft geben
  3. Für 10 Minuten kochen, bis die Zwiebeln weich sind
  4. Bier, Tomaten, Schokolade, getrocknete Chilis und 500ml Wasser hinzufügen
  5. Für 2 Stunden köcheln lassen
  6. Getrocknete Chilis entfernen, Bohnen hinzufügen und durchwärmen
  7. Mit Salz abschmecken

Das Chili kann sofort serviert werden, aber es entfaltet seinen Geschmack am besten, wenn es vor dem Servieren für zwei Tage im Kühlschrank reift.

→ Vom Film Inspector Ike

Auch: Ike's Chili

· inspector ike, chili, rezept, tredici bacci ·

Twitter Business

Wer hat behauptet, Twitter würde auf Presseanfragen nur noch automatisiert reagieren? Erscheint mir doch recht zutreffend.

Email to press@twitter.com: Hello, could you describe the current state of your business in one character? Thank you, Trent Crimm, The Independent. Answer: 💩
· twitter ·

robsite 7

Nach 11 Jahren WordPress ist's mal wieder Zeit für was Neues.

Seit 2 Jahren wird die Seite schon in einer separaten Backend-Seite gepflegt und mit WP2Static-Plugin zu einer statischen generiert. Sehr praktisch. Aber auch langsam, das Generieren der ~1300 Beiträge dauerte rund 15 Minuten.

Stattdessen kommt nun Zola zum Einsatz. Keine Dependencies, nur eine Binary, in Rust geschrieben, simpel und schnell. Sehr schnell. Die Seite wird nun in 1,5s generiert. Bei rund 4 Beiträgen pro Jahr spart das somit eine Stunde 🥳

Screenshot: $ zola build in 1,5 Sekunden
· robsite, meins, zola, wordpress ·

Terminal Red Line

Um Befehle besser zu trennen und eine schöne rote Linie über die gesamte Breite des Terminals zu malen, mit Pfad darunter:

COLUMNS=$(tput cols)
RED='\[\e[1;31m\]'
RESET='\[\e[0m\]'
export PS1="\[\e]2;\w\a$RED\`for (( i=0 ; i < \"\$COLUMNS\";i++)) ; do echo -n '_'; done\`\n$RED\$PWD)$RESET "

In .bash_profile oder .bashrc packen.

Für ZSH in .zshrc (nach 4 Fragen übersetzt von GPT-4 🤯):

COLUMNS=$(tput cols)
RED=$'\e[1;31m'
RESET=$'\e[0m'

# Generate the red line
red_line() {
  for (( i=0 ; i < $COLUMNS; i++ )); do
    echo -n '_'
  done
}

# Set the prompt with the current working directory
PROMPT="${RED}%d)${RESET} "

# Use precmd to print the red line before the prompt
precmd() {
  echo -n "${RED}$(red_line)${RESET}"
  echo
}
Bild eines macOS Terminals mir roter Linie
· chatgpt, command line, linux, macOS, terminal ·

git pull sound

Um einen Sound nach fast1 jedem git pull auf macOS oder Linux zu spielen:

  1. Damit das ganze in allen git Repositories verfügbar ist,
    ~/.git-templates/hooks Ordner anlegen oder haben. Darin:
  2. Sound-Datei reinkopieren, z.B. ~/.git-templates/sounds/pigpull.mp3
    Beliebige Sounds sind möglich, sinnvoll ist aber nur pigpull.mp3 basierend auf dem damage a4-Sound der Angry Birds Schweine.
  3. ~/.git-templates/hooks/post-merge anlegen. Darin:
#!/bin/bash

afplay .git/hooks/sounds/pigpull.mp3 # oder mplayer auf Linux
echo "PULL! 🐷"
  1. chmod +x post-merge um das Script ausführbar zu machen.
  2. git init in jedem neuen oder existierenden git-Repository, das den Sound spielen soll. Dies kopiert post-merge und den Sound ins Repo.
    Obacht: Wenn sich das Template ändert, überschreibt erneutes git init die lokale Version nicht, sie muss vorher erst gelöscht werden. Auch aufpassen, falls es schon post-merge Hooks gibt.

Ergebnis:

1

git pull --rebase bleibt still, da nichts gemerged wurde. Merged man wiederum manuell, spielt der Sound, obwohl es keinen Pull gab.

· git, linux, macOS, 🐷 ·
Mastodon