Archive for September, 2022

Linux Grub aktualisieren

Freitag, September 30th, 2022

Befehl:
sudo update-grub

Posted in Ubuntu | Comments Closed

Lokalen HTTP-Server starten

Freitag, September 23rd, 2022

Python2: python -m SimpleHTTPServer 8000
Python3: python -m http.server 8000

Der Server ist dann erreichbar unter der URL http://localhost:8000

https://logfetch.com/python-server/

Posted in Programmieren, Unix, Web-Programmierung | Comments Closed

Geschützes Leerzeichen und Unicode eingeben

Donnerstag, September 22nd, 2022

VIM
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

Wikipedia: Geschütztes Leerzeichen

Posted in Uncategorized | Comments Closed

Windows Screenshot von Bildschirm-Bereich

Montag, September 12th, 2022

Mit Strg-Shift-s kann man unter Windows einen Screenshot von einem
Bildschirmbereich machen.

Posted in Uncategorized | Comments Closed