Tool

asciinema: Screencasts aus dem Terminal

by Viktor on Dec. 6, 2019, 6:47 p.m. in Tool

Ein kleiner Tipp zum Nikolaus: asciinema ist ein Tool, auf das ich …

curl: Host-Header verändern

by Viktor on Oct. 5, 2018, 5:50 p.m. in Tool

Im HTTP hat der Host-Header eine besondere Rolle: er ermöglicht es, verschiedene …

Let's Encrypt certbot: renew erzwingen

by Viktor on Aug. 12, 2018, 11:03 a.m. in Tool

Eine seltsame Situation ist mir gerade beim Renewal der Let's Encrypt-Zertifikate einer …

Eigene GIMP-Splash Screens

by Viktor on July 21, 2018, 12:27 p.m. in Tool

Splash Screens werden mitunter kontrovers diskutiert, sind aber üblicherweise Bestandteil größerer Anwendung …

Pythontutor

by Viktor on April 14, 2018, midnight in Tool

Kleiner Tipp für alle, die Algorithmen in Python debuggen möchten: der Pythontutor …