Autor: Viktor Garske

Article image

Alt+Tab nativ in GNOME 3 konfigurieren

by Viktor on March 30, 2019, 3:02 p.m. in Linux

Vor knapp zwei Jahren hatte ich bereits über den GNOME 3-Window Switcher …

Article image

MediaWiki: Passwort extern zurücksetzen

by Viktor on March 17, 2019, 5:46 p.m. in Linux

Wurde in einem Wiki, das auf die Software MediaWiki setzt, das Passwort …

Article image

Rust 1.33 erschienen plus Einführung in const fn

by Viktor on March 1, 2019, 2:02 p.m. in Programmierung

Rust ist in einer neuen Version erschienen. Version 1.33 bringt einige Änderungen …

Article image

Rust: Installation und "Hello world!"

by Viktor on Feb. 13, 2019, 10:11 p.m. in Programmierung

In diesem Artikel geht es um die ersten beiden Teile meiner Videoreihe …

Article image

Mein Einstieg in Rust

by Viktor on Feb. 4, 2019, 5:30 p.m. in Programmierung

Rust ist eine vor knapp 10 Jahren bei Mozilla Research ins Leben …

Article image

Linux: Kopieren mit Fortschrittsanzeige

by Viktor on Jan. 28, 2019, 5:30 p.m. in Linux

Unter Linux sowie anderen unixoden Betriebssystemen greift man für Kopiervorgänge in der …

Article image

Pylint HTML Reports

by Viktor on Jan. 26, 2019, 10:23 p.m. in Programmierung

Pylint ist ein Werkzeug zur statischen Codeanalyse. Da die Option für anschauliche …

Article image

GitLab CI / Docker: Container manuell aufräumen

by Viktor on Jan. 20, 2019, 5:51 p.m. in Linux

Als Nutzer vom GitLab Runner i.V.m. Docker stand heute ein wenig cleanup …

Article image

Ein eigenes Wiki

by Viktor on Jan. 18, 2019, 8:35 p.m. in In eigener Sache

In diesem Artikel stelle ich mein neustes Projekt, das VGKB, ein Wiki …

Article image

LUKS/dm-crypt-Passwort vergessen

by Viktor on Dec. 16, 2018, 12:22 p.m. in Linux

Festplattenverschlüsselung ist unter Linux ein effektiver Weg, die Daten gegen unbefugten Zugriff …

Article image

NPM-Paket "event-stream" mit gefährlichen Abhängigkeiten

by Viktor on Nov. 27, 2018, 5:10 p.m. in Security

Im Frontend-Development bin ich nur noch sporadisch aktiv, weswegen ein großer Teil …

Article image

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 …