Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder einen alternativen Browser verwenden.
Rekursives Ersetzen: Hallo!
Ich benutze zum Suchen und Ersetzen bisher
sed -i '' 's/AAAA/BBBB/' /Users/Name/Testordner/*.tex
im Terminal vom Mac um AAAA durch BBBB im...
Verzeichnis mit 1200 Dateien auf Verweise in Textdateien checken: Hallo,
ich habe im Forum zumindest mit meinen Suchkriterien nichts gefunden, was meinem Thema entspricht. Deswegen schildere ich mal kurz meine Pain :help...
Wie vom Script verwendete Befehle ermitteln um sie bei Bedarf nach zu installieren?: Wenn man nur eine einzelne und vlt. sogar noch recht kurze .sh Datei hat, in der irgend welche bash Geschichten stehen die man in der Konsole von z.B...
(schwerer) Umgang mit der Version von vmlinuz: Hallo,
Mein PC
startet nicht mehr seit (mindestens) Anfang Herbst 2023 mit den neuen Kernels von Debian / Devuan höher als 6.1.0 (2 verschiedene...
batch script funktioniert nicht ...brauche hilfe: batch script funktioniert nicht :(
ich würde sagen das es scheinbar funktioniert
Das ganze sollte schon funktionieren sobald der PC hochgefahren ist
ich...