echo -ne "\033]30;test change title\007"
KDE Konsole: Titel setzen
Januar 12th, 2024Grub Installieren
Januar 11th, 2024sudo grub-install –target=x86_64-efi –efi-directory=/media/mint/7523532d-b64b-421b-be86-0ef2cb1701fa/efi –bootloader-id=GRUB –boot-directory /media/mint/7f01b042-586a-4483-9d5b-d4f355e49b8b
Netcat: testen, ob eine IP-Adresse mit Port errichbar ist
Januar 9th, 2024nc -v [ip-adr] [port]
Linux xargs
Dezember 8th, 2023Beispiel: Alle Dateien, die sich seit dem letzten Commit geändert haben, in das Verzeichnis ~/backup kopieren:
git diff --name-only | xargs -i cp {} ~/backup/
Raspberry PI – welches Betriebssystem habe ich?
November 17th, 2023Betriebssystem – Version anzeigen
cat /etc/os-release
Betriebssystem – 32 oder 64 Bit
getconf LONG_BIT
CPU-Architektur anzeigen
uname -m
Linux: iso-Datei aus Ordner erstellen
November 6th, 2023Als Quell-Parameter wird das Device angegeben (z.B. /dev/sdd1), als Ziel-Parameter die iso-Datei:
dd if=/dev/sdd1 of=./file.iso
Linux: Zip-Datei aus Archiv erzeugen mit Passwort
September 21st, 2023Beispiel:
zip -P pass123 ccat-command.zip ccat-1.1.0/
Das -P wird GROSS geschrieben.
Linux: Bash prompt Generator
September 14th, 2023Linux: DNS Server einstellen
August 6th, 2023Die DNS-Server finden sich in der Datei /etc/resolv.conf:
Die Google-DNS-Server sind:
nameserver 8.8.8.8
nameserver 8.8.4.4
Als feste IP-Adressen können auch Namen in die Datei /etc/hosts eingetragen werden.
md5 hash einer Datei berechnen
Juni 30th, 2023md5sum [filename]