2023

Linux - Suchen und Ersetzen

Nov 29 2023

Linux - Git-Verzeichnis bereinigen

Nov 26 2023

Linux - Benutzerverzeichnis bereinigen (Teil 1)

Nov 25 2023

Linux - Shell: Doppelte Zeilen entfernen aus einer Datei ohne Umsortieren

Aug 27 2023

2022

Linux - Shell: Debugging deaktivieren ohne Ausgabe von '+ set +x'

Dez 04 2022