– Weitere Werkzeuge
– Werkzeuge für Web-Entwickler (Control-Shift-I)
– Rechts-Unten: „Anfragen“ aktivieren
Firefox – Web Traffic protokollieren
November 14th, 2022Nginx Server mit Docker & Certbot (HTTPS)
November 10th, 2022Anleitung:
https://pentacent.medium.com/nginx-and-lets-encrypt-with-docker-in-less-than-5-minutes-b4b8a60d3a71
Github:
https://github.com/wmnnd/nginx-certbot
Nach der Installation befindet sich die Standard-Konfiguration unter:
/etc/nginx
Seiten:
/etc/nginx/sites-enabled/default
HTML-Dokumente:
/var/www/html
Windows 10 – Sprache hinzufügen und Tastatursprache ändern
Oktober 24th, 2022Ändern der Tastatursprache am Beispiel Polnisch:
Einstellungen
→ Zeit & Sprache
→ Sprache
→ Sprache Hinzufügen („Polnisch“)
→ Auf „Polnisch“ klicken
→ Optionen
→ Tastatur hinzufügen
→ Polnisch (214) hinzufügen
→ Zurückgehen
→ Polnisch (214) für die Tastatur auswählen
Google Android Handy
Oktober 19th, 2022Navbar mit Home- und Zurückbutton anzeigen
Einstellungen
> Bedienungshilfen
> Systemsteuerelemente
> Systemsteuerung
> Bedienung über 3 Schaltflächen
Sprache umschalten
Einstellungen
> Sprachen und Eingabe
> Sprachen
> Sprache hinzufügen oder Sprache nach oben ziehen
Linux Grub aktualisieren
September 30th, 2022Befehl:
sudo update-grub
Lokalen HTTP-Server starten
September 23rd, 2022Python2: python -m SimpleHTTPServer 8000
Python3: python -m http.server 8000
Der Server ist dann erreichbar unter der URL http://localhost:8000
Geschützes Leerzeichen und Unicode eingeben
September 22nd, 2022VIM
Geschützes Leerzeichen:
Control-K, NS
Unicode:Control-v, u, Unicode
Linux shell
Control-U, unicode
UJnicodes
Geschütztes Leerzeichen: 00A0
Schmales geschütztes Leerzeichen: 202F
Windows Screenshot von Bildschirm-Bereich
September 12th, 2022Mit Strg-Shift-s kann man unter Windows einen Screenshot von einem
Bildschirmbereich machen.
Linux on Desktop, 2022
August 7th, 2022Festplatte komplett löschen
August 6th, 2022Festplatte unmounten, dann:
sudo dd if=/dev/zero of=/dev/sdx bs=512 count=4 status=progress
Wobei /dev/sdx für das Device steht, z.B. /dev/sdc
Dann in gparted neue Partition anlegen
Festplatte komplett löschen:
sudo shred -vn 1 /dev/sdxx
xx steht für partition oder Laufwerk, also z.B. c oder c3